126 search results - page 8 / 26 » Hierarchical Set Decision Diagrams and Regular Models |
153
click to vote
ICCD
2005
IEEE
16 years 2 months ago
2005
IEEE
In recent years, Boolean Satisfiability (SAT) has been shown to hold potential for Unbounded Model Checking (UMC). The success of SAT-based UMC largely relies on (i) the SAT solv...
188
click to vote
TACAS
2007
Springer
16 years 3 days ago
2007
Springer
We study and provide efficient algorithms for multi-objective model checking problems for Markov Decision Processes (MDPs). Given an MDP, M, and given multiple linear-time (ω-regu...
190
click to vote
BMCBI
2011
15 years 1 months ago
2011
Background: In rule-based modeling, graphs are used to represent molecules: a colored vertex represents a component of a molecule, a vertex attribute represents the internal state...
136
click to vote
TACAS
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. Checking for language containment between nondeterministic ω-automata is a central task in automata-based hierarchical verification. We present a symbolic procedure for...
171
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Sparse modeling is a powerful framework for data analysis and processing. Traditionally, encoding in this framework is performed by solving an 1-regularized linear regression prob...