Model checking probabilistic systems
From MaRDI portal
Recommendations
Cites work
- A game-based abstraction-refinement framework for Markov decision processes
- A logic for reasoning about time and reliability
- A process algebraic approach to software architecture design
- Abstract probabilistic automata
- Abstraction Refinement for Probabilistic Software
- Analyzing probabilistic pushdown automata
- Assume-guarantee verification for probabilistic systems
- Automatic verification of competitive stochastic systems
- Automatic verification of real-time systems with discrete probability distributions.
- Bio-PEPA: A framework for the modelling and analysis of biological systems
- Bisimulation through probabilistic testing
- Combinatorial optimization. Polyhedra and efficiency (3 volumes)
- Comparison of LTL to Deterministic Rabin Automata Translators
- Compositional probabilistic verification through multi-objective model checking
- Computer aided verification. 25th international conference, CAV 2013, Saint Petersburg, Russia, July 13--19, 2013. Proceedings
- Computer Science Logic
- Controller Synthesis and Verification for Markov Decision Processes with Qualitative Branching Time Objectives
- Deciding Simulations on Probabilistic Automata
- From LTL to deterministic automata. A safraless compositional approach
- scientific article; zbMATH DE number 996442 (Why is no real title available?)
- scientific article; zbMATH DE number 3145626 (Why is no real title available?)
- scientific article; zbMATH DE number 50649 (Why is no real title available?)
- scientific article; zbMATH DE number 1219609 (Why is no real title available?)
- scientific article; zbMATH DE number 700091 (Why is no real title available?)
- scientific article; zbMATH DE number 1142326 (Why is no real title available?)
- scientific article; zbMATH DE number 1927574 (Why is no real title available?)
- scientific article; zbMATH DE number 1538049 (Why is no real title available?)
- scientific article; zbMATH DE number 1759620 (Why is no real title available?)
- scientific article; zbMATH DE number 2163041 (Why is no real title available?)
- scientific article; zbMATH DE number 1863173 (Why is no real title available?)
- scientific article; zbMATH DE number 1905115 (Why is no real title available?)
- scientific article; zbMATH DE number 2090709 (Why is no real title available?)
- scientific article; zbMATH DE number 2090714 (Why is no real title available?)
- scientific article; zbMATH DE number 2102710 (Why is no real title available?)
- scientific article; zbMATH DE number 763717 (Why is no real title available?)
- scientific article; zbMATH DE number 794262 (Why is no real title available?)
- scientific article; zbMATH DE number 846904 (Why is no real title available?)
- scientific article; zbMATH DE number 1416652 (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?)
- scientific article; zbMATH DE number 3059214 (Why is no real title available?)
- Markov Chains
- Markov Decision Processes with Multiple Objectives
- Model checking for probabilistic timed automata
- Model checking linear-time properties of probabilistic systems
- Model checking of probabilistic and nondeterministic systems
- Model checking of recursive probabilistic systems
- Multi-Objective Model Checking of Markov Decision Processes
- Probabilistic contracts: a compositional reasoning methodology for the design of systems with stochastic and/or non-deterministic aspects
- Probabilistic extensions of process algebras.
- Probabilistic guarded commands mechanized in HOL
- Probabilistic Modal μ-Calculus with Independent Product
- Probabilistic model checking of complex biological pathways
- Quantitative multi-objective verification for probabilistic systems
- Quantitative stochastic parity games
- Rabinizer 3: Safraless translation of LTL to small deterministic automata
- Reasoning about infinite computations
- Stochastic games for verification of probabilistic timed automata
- Symbolic model checking for probabilistic processes
- Symmetry breaking in distributed networks
- Symmetry Reduction for Probabilistic Model Checking
- Symmetry Reduction for Probabilistic Model Checking Using Generic Representatives
- The complexity of probabilistic verification
- The how and why of interactive Markov chains
- Tools and Algorithms for the Construction and Analysis of Systems
- Tools and Algorithms for the Construction and Analysis of Systems
- Using probabilistic model checking for dynamic power management
- Verification of Markov decision processes using learning algorithms
- Verification of multiprocess probabilistic protocols
- Verification of open interactive Markov chains
Cited in
(96)- Abstract model repair for probabilistic systems
- Counterexample-guided inductive synthesis for probabilistic systems
- Bounded model checking for probabilistic programs
- Finding provably optimal Markov chains
- Inductive synthesis for probabilistic programs reaches new horizons
- Enhancing probabilistic model checking with ontologies
- The 10,000 facets of MDP model checking
- Trust evidence logic
- Ensuring the reliability of your model checker: interval iteration for Markov decision processes
- Exact quantitative probabilistic model checking through rational search
- Certifying inexpressibility
- A design of GPU-based quantitative model checking
- Probabilistic \(\mathrm{CTL}^*\): the deductive way
- Towards light-weight probabilistic model checking
- On-the-fly model checking for extended action-based probabilistic operators
- Model checking functional and performability properties of stochastic fluid models
- Distribution, approximation and probabilistic model checking
- Euclidean model checking: a scalable method for verifying quantitative properties in probabilistic systems
- Verifying pCTL model checking
- Model Checking Stochastic Branching Processes
- Model checking of probabilistic and nondeterministic systems
- Model repair for probabilistic systems
- A progress measure for explicit-state probabilistic model-checkers
- Stochastic model checking
- High-level modelling and efficient analysis of randomized protocols.
- Model Checking Security Protocols
- Are parametric Markov chains monotonic?
- An optimal automata approach to LTL model checking of probabilistic systems
- Probabilistic Guarded P Systems, A New Formal Modelling Framework
- Model checking compositional Markov systems.
- Faster SPDL Model Checking Through Property-Driven State Space Generation
- The demand for reliability in probabilistic verification
- Qualitative Logics and Equivalences for Probabilistic Systems
- scientific article; zbMATH DE number 176728 (Why is no real title available?)
- scientific article; zbMATH DE number 2080040 (Why is no real title available?)
- scientific article; zbMATH DE number 1497761 (Why is no real title available?)
- scientific article; zbMATH DE number 1507207 (Why is no real title available?)
- Symbolic model checking for probabilistic processes
- Evaluating probabilistic model checking tools for verification of robot control policies
- Trade-off analysis meets probabilistic model checking
- The probabilistic model checking landscape
- scientific article; zbMATH DE number 2087806 (Why is no real title available?)
- scientific article; zbMATH DE number 2090706 (Why is no real title available?)
- Efficient probabilistic model checking of systems with ranged probabilities
- Model checking with probabilistic tabled logic programming
- A theory of distributed Markov chains
- Model checking linear-time properties of probabilistic systems
- On Repetition Languages
- Complexity of model checking MDPs against LTL specifications
- Probabilistic model-based safety analysis
- Quantitative model-checking of controlled discrete-time Markov processes
- Automated verification and strategy synthesis for probabilistic systems
- Energy-utility analysis for resilient systems using probabilistic model checking
- On-the-fly probabilistic model checking
- Model checking stochastic automata
- Model Checking Probabilistic Pushdown Automata
- Computer Aided Verification
- Validation of Stochastic Systems
- Lazy probabilistic model checking without determinisation
- A probabilistic extension of UML statecharts specification and verification
- Probabilistic model checking for energy-utility analysis
- Conditional Probabilities over Probabilistic and Nondeterministic Systems
- Formal Methods in Computer-Aided Design
- Foundations of Software Science and Computational Structures
- Theoretical Aspects of Computing - ICTAC 2004
- Counterexamples in Probabilistic Model Checking
- Measuring progress of probabilistic LTL model checking
- Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation
- Finite horizon analysis of stochastic systems with the Mur verifier.
- Verification, Model Checking, and Abstract Interpretation
- Verification, Model Checking, and Abstract Interpretation
- 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
- Model checking branching time properties for incomplete Markov chains
- Automatically finding the right probabilities in Bayesian networks
- The smoothed complexity of policy iteration for Markov decision processes
- A practitioner's guide to MDP model checking algorithms
- On the use of model and logical embeddings for model checking of probabilistic systems
- Correct probabilistic model checking with floating-point arithmetic
- Compositional probabilistic model checking with string diagrams of MDPs
- Counterexample-driven synthesis for probabilistic program sketches
- Ontology-mediated probabilistic model checking
- Deductive controller synthesis for probabilistic hyperproperties
- Decoupled fitness criteria for reactive systems
- Parameter synthesis for Markov models: covering the parameter space
- A probabilistic modal logic for context-aware trust based on evidence
- End-to-end statistical model checking for parameterization and stability analysis of ODE models
- Quantitative verification with neural networks
- An oracle-guided approach to constrained policy synthesis under uncertainty
- Quantitative verification with neural networks
- Resolving nondeterminism by chance
- A no-go theorem for coalgebraic product construction
- Tweaking the odds in probabilistic timed automata
- Model checking finite-horizon Markov chains with probabilistic inference
Describes a project that uses
Uses Software
This page was built for publication: Model checking probabilistic systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3176386)
