Automated verification and strategy synthesis for probabilistic systems
From MaRDI portal
(Redirected from Publication:5166673)
Recommendations
- Model checking and strategy synthesis for stochastic games: from theory to practice (invited talk)
- Compositional probabilistic verification through multi-objective model checking
- Quantitative multi-objective verification for probabilistic systems
- Model checking probabilistic systems
- Model checking linear-time properties of probabilistic systems
Cited in
(16)- Compositional strategy synthesis for stochastic games with multiple objectives
- \(L^\ast\)-based learning of Markov decision processes (extended version)
- Probabilistic black-box reachability checking (extended version)
- Automatic verification of concurrent stochastic systems
- Collaborative models for autonomous systems controller synthesis
- Automatic verification of competitive stochastic systems
- Multi-objective parameter synthesis in probabilistic hybrid systems
- Quantitative multi-objective verification for probabilistic systems
- Quantitative verification and strategy synthesis for stochastic games
- Compositional probabilistic verification through multi-objective model checking
- scientific article; zbMATH DE number 2086517 (Why is no real title available?)
- Robust Control for Dynamical Systems with Non-Gaussian Noise via Formal Abstractions
- Model Checking for Safe Navigation Among Humans
- Optimal deterministic controller synthesis from steady-state distributions
- Equilibria-based probabilistic model checking for concurrent stochastic games
- Multi-agent verification and control with probabilistic model checking
This page was built for publication: Automated verification and strategy synthesis for probabilistic systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5166673)
