Model Checking Probabilistic Systems
From MaRDI portal
Publication:3176386
DOI10.1007/978-3-319-10575-8_28zbMath1392.68227MaRDI QIDQ3176386
Luca de Alfaro, Vojtěch Forejt, Marta Kwiatkowska, Christel Baier
Publication date: 20 July 2018
Published in: Handbook of Model Checking (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-10575-8_28
68Q60: Specification and verification (program logics, model checking, etc.)
68Q87: Probability in computer science (algorithm analysis, random structures, phase transitions, etc.)
Related Items
A Theory of Distributed Markov Chains, On Repetition Languages, Parameter synthesis in Markov models: a gentle survey, A framework for transforming specifications in reinforcement learning, End-to-end statistical model checking for parametric ODE models, QMaude: quantitative specification and verification in rewriting logic, Tweaking the odds in probabilistic timed automata, Model checking finite-horizon Markov chains with probabilistic inference, Counterexample-guided inductive synthesis for probabilistic systems, Finding provably optimal Markov chains, Inductive synthesis for probabilistic programs reaches new horizons, Trust evidence logic, Certifying inexpressibility, Model Checking Security Protocols, Are Parametric Markov Chains Monotonic?
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Computer aided verification. 25th international conference, CAV 2013, Saint Petersburg, Russia, July 13--19, 2013. Proceedings
- Compositional probabilistic verification through multi-objective model checking
- A game-based abstraction-refinement framework for Markov decision processes
- Probabilistic contracts: a compositional reasoning methodology for the design of systems with stochastic and/or non-deterministic aspects
- Symmetry breaking in distributed networks
- Verification of multiprocess probabilistic protocols
- Bisimulation through probabilistic testing
- Reasoning about infinite computations
- A logic for reasoning about time and reliability
- Automatic verification of real-time systems with discrete probability distributions.
- Combinatorial optimization. Polyhedra and efficiency (3 volumes)
- Automatic verification of competitive stochastic systems
- Analyzing probabilistic pushdown automata
- Model checking for probabilistic timed automata
- Bio-PEPA: A framework for the modelling and analysis of biological systems
- From LTL to deterministic automata. A safraless compositional approach
- Probabilistic model checking of complex biological pathways
- Using probabilistic model checking for dynamic power management
- Probabilistic guarded commands mechanized in HOL
- Comparison of LTL to Deterministic Rabin Automata Translators
- Model Checking of Recursive Probabilistic Systems
- Model checking of probabilistic and nondeterministic systems
- Verification of Open Interactive Markov Chains
- Probabilistic Modal μ-Calculus with Independent Product
- Quantitative Multi-objective Verification for Probabilistic Systems
- The How and Why of Interactive Markov Chains
- Abstract Probabilistic Automata
- Verification of Markov Decision Processes Using Learning Algorithms
- Rabinizer 3: Safraless Translation of LTL to Small Deterministic Automata
- Deciding Simulations on Probabilistic Automata
- Controller Synthesis and Verification for Markov Decision Processes with Qualitative Branching Time Objectives
- Symmetry Reduction for Probabilistic Model Checking Using Generic Representatives
- Assume-Guarantee Verification for Probabilistic Systems
- Abstraction Refinement for Probabilistic Software
- Multi-Objective Model Checking of Markov Decision Processes
- Stochastic Games for Verification of Probabilistic Timed Automata
- Markov Chains
- The complexity of probabilistic verification
- Symbolic model checking for probabilistic processes
- Model Checking Linear-Time Properties of Probabilistic Systems
- Computer Science Logic
- Tools and Algorithms for the Construction and Analysis of Systems
- Markov Decision Processes with Multiple Objectives
- Symmetry Reduction for Probabilistic Model Checking
- Tools and Algorithms for the Construction and Analysis of Systems