Model checking probabilistic systems
From MaRDI portal
Recommendations
Cites work
- 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?)
- 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 Science Logic
- Computer aided verification. 25th international conference, CAV 2013, Saint Petersburg, Russia, July 13--19, 2013. Proceedings
- 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
- 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 Modal μ-Calculus with Independent Product
- 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 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 Reduction for Probabilistic Model Checking
- Symmetry Reduction for Probabilistic Model Checking Using Generic Representatives
- Symmetry breaking in distributed networks
- 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
(93)- The probabilistic model checking landscape
- Conditional Probabilities over Probabilistic and Nondeterministic Systems
- Counterexample-guided inductive synthesis for probabilistic systems
- On Repetition Languages
- Trade-off analysis meets probabilistic model checking
- Probabilistic model checking for energy-utility analysis
- Model checking stochastic automata
- Foundations of Software Science and Computational Structures
- Complexity of model checking MDPs against LTL specifications
- Model checking finite-horizon Markov chains with probabilistic inference
- Tweaking the odds in probabilistic timed automata
- Certifying inexpressibility
- Quantitative verification with neural networks
- Towards light-weight probabilistic model checking
- Parameter synthesis for Markov models: covering the parameter space
- Qualitative Logics and Equivalences for Probabilistic Systems
- Model checking functional and performability properties of stochastic fluid models
- Measuring progress of probabilistic LTL model checking
- Theoretical Aspects of Computing - ICTAC 2004
- A probabilistic modal logic for context-aware trust based on evidence
- Efficient probabilistic model checking of systems with ranged probabilities
- Symbolic model checking for probabilistic processes
- A design of GPU-based quantitative model checking
- Finding provably optimal Markov chains
- Counterexamples in Probabilistic Model Checking
- End-to-end statistical model checking for parametric ODE models
- A probabilistic extension of UML statecharts specification and verification
- Stochastic model checking
- Bounded model checking for probabilistic programs
- An oracle-guided approach to constrained policy synthesis under uncertainty
- Probabilistic Guarded P Systems, A New Formal Modelling Framework
- The 10,000 facets of MDP model checking
- An optimal automata approach to LTL model checking of probabilistic systems
- Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation
- Validation of Stochastic Systems
- Ensuring the reliability of your model checker: interval iteration for Markov decision processes
- Model checking with probabilistic tabled logic programming
- Model repair for probabilistic systems
- A theory of distributed Markov chains
- Lazy probabilistic model checking without determinisation
- Energy-utility analysis for resilient systems using probabilistic model checking
- Trust evidence logic
- Faster SPDL Model Checking Through Property-Driven State Space Generation
- Are parametric Markov chains monotonic?
- A progress measure for explicit-state probabilistic model-checkers
- Inductive synthesis for probabilistic programs reaches new horizons
- Model checking linear-time properties of probabilistic systems
- Distribution, approximation and probabilistic model checking
- scientific article; zbMATH DE number 2090706 (Why is no real title available?)
- On-the-fly model checking for extended action-based probabilistic operators
- Model Checking Stochastic Branching Processes
- Automatically finding the right probabilities in Bayesian networks
- Euclidean model checking: a scalable method for verifying quantitative properties in probabilistic systems
- scientific article; zbMATH DE number 2080040 (Why is no real title available?)
- scientific article; zbMATH DE number 2087806 (Why is no real title available?)
- Model checking compositional Markov systems.
- Probabilistic \(\mathrm{CTL}^*\): the deductive way
- Quantitative verification with neural networks
- Model checking branching time properties for incomplete Markov chains
- Computer Aided Verification
- End-to-end statistical model checking for parameterization and stability analysis of ODE models
- scientific article; zbMATH DE number 176728 (Why is no real title available?)
- Verifying pCTL model checking
- Model Checking Security Protocols
- Verification, Model Checking, and Abstract Interpretation
- Verification, Model Checking, and Abstract Interpretation
- Finite horizon analysis of stochastic systems with the Mur\(\varphi \) verifier.
- Exact quantitative probabilistic model checking through rational search
- On-the-fly probabilistic model checking
- Enhancing probabilistic model checking with ontologies
- Model checking of probabilistic and nondeterministic systems
- Model Checking Probabilistic Pushdown Automata
- The smoothed complexity of policy iteration for Markov decision processes
- QMaude: quantitative specification and verification in rewriting logic
- Formal Methods in Computer-Aided Design
- Automated verification and strategy synthesis for probabilistic systems
- Abstract model repair for probabilistic systems
- scientific article; zbMATH DE number 1507207 (Why is no real title available?)
- A framework for transforming specifications in reinforcement learning
- Parameter synthesis in Markov models: a gentle survey
- 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
- Quantitative model-checking of controlled discrete-time Markov processes
- Probabilistic model-based safety analysis
- Deductive controller synthesis for probabilistic hyperproperties
- Decoupled fitness criteria for reactive systems
- High-level modelling and efficient analysis of randomized protocols.
- Evaluating probabilistic model checking tools for verification of robot control policies
- The demand for reliability in probabilistic verification
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)
