scientific article; zbMATH DE number 1538049
From MaRDI portal
Publication:4518905
Recommendations
Cited in
(25)- On the use of MTBDDs for performability analysis and verification of stochastic systems.
- Quantitative solution of omega-regular games
- Symbolic model checking for factored probabilistic models
- Out of control: reducing probabilistic models by control-state elimination
- Symbolic model checking for probabilistic timed automata
- Probabilistic verification and approximation
- Deciding probabilistic bisimilarity over infinite-state probabilistic systems
- A framework for compositional verification of multi-valued systems via abstraction-refinement
- Recursive Markov decision processes and recursive stochastic games
- Binary decision diagrams
- Model checking probabilistic systems
- Symbolic model checking for probabilistic processes
- scientific article; zbMATH DE number 1423228 (Why is no real title available?)
- A new algorithm for partitioned symbolic reachability analysis
- Validation of Stochastic Systems
- Automated Technology for Verification and Analysis
- Partially-shared zero-suppressed multi-terminal BDDs: Concept, algorithms and applications
- Symbolic verification and strategy synthesis for turn-based stochastic games
- Efficient Algorithms for Omega-Regular Energy Games
- Probabilistic program verification via inductive synthesis of inductive invariants
- Causally deterministic Markov decision processes
- From biochemistry to stochastic processes
- Model checking finite-horizon Markov chains with probabilistic inference
- Data structures for symbolic multi-valued model-checking
- Minimization of probabilistic models of programs
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4518905)
