The following pages link to (Q4518905):
Displayed 14 items.
- A framework for compositional verification of multi-valued systems via abstraction-refinement (Q259065) (← links)
- Partially-shared zero-suppressed multi-terminal BDDs: Concept, algorithms and applications (Q600975) (← links)
- Model checking finite-horizon Markov chains with probabilistic inference (Q832295) (← links)
- Data structures for symbolic multi-valued model-checking (Q862857) (← links)
- Minimization of probabilistic models of programs (Q906254) (← links)
- On the use of MTBDDs for performability analysis and verification of stochastic systems. (Q1400289) (← links)
- Quantitative solution of omega-regular games (Q1887716) (← links)
- Symbolic model checking for probabilistic timed automata (Q2373877) (← links)
- Probabilistic verification and approximation (Q2478551) (← links)
- Deciding probabilistic bisimilarity over infinite-state probabilistic systems (Q2482725) (← links)
- Recursive Markov Decision Processes and Recursive Stochastic Games (Q2796398) (← links)
- Binary Decision Diagrams (Q3176365) (← links)
- Model Checking Probabilistic Systems (Q3176386) (← links)
- A New Algorithm for Partitioned Symbolic Reachability Analysis (Q4982091) (← links)