Validation of Stochastic Systems
From MaRDI portal
Publication:5325841
Recommendations
- scientific article; zbMATH DE number 2102711
- Data representation and efficient solution: a decision diagram approach
- scientific article; zbMATH DE number 1538049
- Symbolic model checking for probabilistic processes
- On application of multi-rooted binary decision diagrams to probabilistic model checking
Cited in
(15)- Applying Formal Methods: Testing, Performance, and M/E-Commerce
- scientific article; zbMATH DE number 1538049 (Why is no real title available?)
- scientific article; zbMATH DE number 5547890 (Why is no real title available?)
- scientific article; zbMATH DE number 1864589 (Why is no real title available?)
- A new algorithm for partitioned symbolic reachability analysis
- Cycles and communicating classes in membrane systems and molecular dynamics
- Partially-shared zero-suppressed multi-terminal BDDs: Concept, algorithms and applications
- Enhancing probabilistic model checking with ontologies
- Symbolic approaches to probability distributions in process algebra
- On application of multi-rooted binary decision diagrams to probabilistic model checking
- A symbolic out-of-core solution method for Markov models
- scientific article; zbMATH DE number 2102711 (Why is no real title available?)
- Ontology-mediated probabilistic model checking
- Data representation and efficient solution: a decision diagram approach
- Specification, testing and implementation relations for symbolic-probabilistic systems
This page was built for publication: Validation of Stochastic Systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5325841)
