Symbolic and parametric model checking of discrete-time Markov chains
From MaRDI portal
Recommendations
Cited in
(55)- Symbolic dependency graphs for \(\mathrm {PCTL}^{>}_{\leq}\) model-checking
- Markov chains and Markov decision processes in Isabelle/HOL
- Finding provably optimal Markov chains
- Inductive synthesis for probabilistic programs reaches new horizons
- Synthesizing optimal bias in randomized self-stabilization
- Fine-tuning the odds in Bayesian networks
- Gradient-descent for randomized controllers under partial observability
- Out of control: reducing probabilistic models by control-state elimination
- Parametric Markov chains: PCTL complexity and fraction-free Gaussian elimination
- Exact quantitative probabilistic model checking through rational search
- An extension of the inverse method to probabilistic timed automata
- Quantitative static analysis of communication protocols using abstract Markov chains
- Distributed disk-based algorithms for model checking very large Markov chains
- Formal reasoning about finite-state discrete-time Markov chains in HOL
- Smoothed model checking for uncertain continuous-time Markov chains
- Stochastic equivalence for performance analysis of concurrent systems in dtsiPBC
- The complexity of reachability in parametric Markov decision processes
- An inductive technique for parameterised model checking of degenerative distributed randomised protocols
- Multi-objective parameter synthesis in probabilistic hybrid systems
- Approximate verification of the symbolic dynamics of Markov chains
- Model repair for probabilistic systems
- Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications
- Parametric LTL on Markov chains
- Are parametric Markov chains monotonic?
- Parametric Markov chains: PCTL complexity and fraction-free Gaussian elimination
- Scenario-based verification of uncertain MDPs
- Model-based formal reliability analysis of grid dynamics with solar energy sources
- Counterexample generation for discrete-time Markov models: an introductory survey
- Consistency for parametric interval Markov chains
- Parameter and controller synthesis for Markov chains with actions and state labels
- Formal Techniques for Networked and Distributed Systems - FORTE 2005
- On the Complexity of Reachability in Parametric Markov Decision Processes
- Parameter Synthesis Algorithms for Parametric Interval Markov Chains
- Parameter-Independent Strategies for pMDPs via POMDPs
- Incremental Verification of Parametric and Reconfigurable Markov Chains
- Accelerated model checking of parametric Markov chains
- Parameter synthesis in Markov models: a gentle survey
- End-to-end statistical model checking for parametric ODE models
- POMDP controllers with optimal budget
- Model checking branching time properties for incomplete Markov chains
- Sampling-Based Verification of CTMCs with Uncertain Rates
- Automatically finding the right probabilities in Bayesian networks
- Efficient sensitivity analysis for parametric robust Markov chains
- Parameter synthesis for Markov models: covering the parameter space
- Interval Markov decision processes with multiple objectives: from robust strategies to Pareto curves
- End-to-end statistical model checking for parameterization and stability analysis of ODE models
- Probabilistic unifying relations for modelling epistemic and aleatoric uncertainty: semantics and automated reasoning with theorem proving
- An oracle-guided approach to constrained policy synthesis under uncertainty
- SEA-PARAM: exploring schedulers in parametric MDPs
- Parameter synthesis for probabilistic hyperproperties
- DTMC model checking by path abstraction revisited
- Compositional reasoning for parametric probabilistic automata
- Formal abstraction and synthesis of parametric stochastic processes
- Model checking finite-horizon Markov chains with probabilistic inference
- Parametric probabilistic transition systems for system design and analysis
This page was built for publication: Symbolic and parametric model checking of discrete-time Markov chains
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5709980)
