scientific article; zbMATH DE number 1538049
From MaRDI portal
Publication:4518905
zbMATH Open0960.68109MaRDI QIDQ4518905FDOQ4518905
Authors:
Publication date: 20 May 2001
scientific article; zbMATH DE number Title of this publication is (Why is no real title available?)
Recommendations
Cited In (22)
- A framework for compositional verification of multi-valued systems via abstraction-refinement
- Model checking finite-horizon Markov chains with probabilistic inference
- Symbolic verification and strategy synthesis for turn-based stochastic games
- Symbolic model checking for probabilistic processes
- A new algorithm for partitioned symbolic reachability analysis
- Data structures for symbolic multi-valued model-checking
- Model checking probabilistic systems
- Symbolic model checking for factored probabilistic models
- Validation of Stochastic Systems
- Partially-shared zero-suppressed multi-terminal BDDs: Concept, algorithms and applications
- Binary decision diagrams
- Probabilistic verification and approximation
- Deciding probabilistic bisimilarity over infinite-state probabilistic systems
- Automated Technology for Verification and Analysis
- Out of control: reducing probabilistic models by control-state elimination
- Recursive Markov decision processes and recursive stochastic games
- Quantitative solution of omega-regular games
- On the use of MTBDDs for performability analysis and verification of stochastic systems.
- Minimization of probabilistic models of programs
- Symbolic model checking for probabilistic timed automata
- Probabilistic program verification via inductive synthesis of inductive invariants
- Efficient Algorithms for Omega-Regular Energy Games
Uses Software
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)
