Compositional probabilistic verification through multi-objective model checking
From MaRDI portal
Recommendations
- Assume-guarantee verification for probabilistic systems
- Quantitative multi-objective verification for probabilistic systems
- Learning-based compositional verification for synchronous probabilistic systems
- Automated verification and strategy synthesis for probabilistic systems
- Leveraging weighted automata in compositional reasoning about concurrent probabilistic systems
Cites work
- scientific article; zbMATH DE number 177825 (Why is no real title available?)
- scientific article; zbMATH DE number 3543391 (Why is no real title available?)
- scientific article; zbMATH DE number 700091 (Why is no real title available?)
- scientific article; zbMATH DE number 1142314 (Why is no real title available?)
- scientific article; zbMATH DE number 1796134 (Why is no real title available?)
- scientific article; zbMATH DE number 1863173 (Why is no real title available?)
- scientific article; zbMATH DE number 794262 (Why is no real title available?)
- scientific article; zbMATH DE number 7280017 (Why is no real title available?)
- scientific article; zbMATH DE number 5585443 (Why is no real title available?)
- Assume-guarantee verification for probabilistic systems
- Extending Automated Compositional Verification to the Full Class of Omega-Regular Languages
- Fast randomized consensus using shared memory
- Formal methods for eternal networked software systems. 11th international school on formal methods for the design of computer, communication and software systems, SFM 2011, Bertinoro, Italy, June 13--18, 2011. Advanced lectures
- Interactive Markov chains. And the quest for quantified quality
- Learning to divide and conquer: applying the \(L^*\) algorithm to automate assume-guarantee reasoning
- Markov decision processes and regular events
- Model checking of probabilistic and nondeterministic systems
- Multi-Objective Model Checking of Markov Decision Processes
- Multi-objective Model Checking of Markov Decision Processes
- Pareto curves for probabilistic model checking
- Performance analysis of probabilistic timed automata using digital clocks
- Quantitative analysis under fairness constraints
- Quantitative multi-objective verification for probabilistic systems
- Tentative steps toward a development method for interfering programs
- Theoretical Aspects of Computing - ICTAC 2004
- Verification of the randomized consensus algorithm of Aspnes and Herlihy: a case study
Cited in
(20)- Compositional abstraction-based synthesis for networks of stochastic switched systems
- Learning-based compositional verification for synchronous probabilistic systems
- Compositional abstraction of large-scale stochastic systems: a relaxed dissipativity approach
- Model checking probabilistic systems
- Interval Markov decision processes with multiple objectives: from robust strategies to Pareto curves
- Compositional analysis of probabilistic timed graph transformation systems
- Multi-agent verification and control with probabilistic model checking
- Trade-off analysis meets probabilistic model checking
- Statistically sound verification and optimization for complex systems
- A compositional approach to parity games
- Compositional probabilistic model checking with string diagrams of MDPs
- Learning assumptions for compositional verification of timed automata
- Probabilistic verification of hierarchical leader election protocol in dynamic systems
- Assume-guarantee verification for probabilistic systems
- Quantitative multi-objective verification for probabilistic systems
- Verification of compliance for multilevel models in individual trace semantics
- Automated verification and synthesis of stochastic hybrid systems: a survey
- Quantitative verification and strategy synthesis for stochastic games
- Automated verification and strategy synthesis for probabilistic systems
- Compositional strategy synthesis for stochastic games with multiple objectives
This page was built for publication: Compositional probabilistic verification through multi-objective model checking
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q386007)
