Multi-agent verification and control with probabilistic model checking
From MaRDI portal
Recommendations
- Equilibria-based probabilistic model checking for concurrent stochastic games
- Automated verification and strategy synthesis for probabilistic systems
- Combined model checking for temporal, probabilistic, and real-time logics
- Model checking and strategy synthesis for stochastic games: from theory to practice (invited talk)
- Compositional probabilistic verification through multi-objective model checking
Cites work
- scientific article; zbMATH DE number 3126094 (Why is no real title available?)
- scientific article; zbMATH DE number 1134975 (Why is no real title available?)
- A counter abstraction technique for verifying properties of probabilistic swarm systems
- A survey of stochastic -regular games
- Alternating-time temporal logic
- Automatic verification of competitive stochastic systems
- Automatic verification of concurrent stochastic systems
- Comparison of algorithms for simple stochastic games
- Compositional strategy synthesis for stochastic games with multiple objectives
- Correlated equilibria and fairness in concurrent stochastic games
- Equilibrium Points of Bimatrix Games
- Model Checking for Safe Navigation Among Humans
- Stochastic Games
- Stochastic games with lexicographic reachability-safety objectives
- Symbolic verification and strategy synthesis for turn-based stochastic games
- Value iteration for simple stochastic games: stopping criterion and learning algorithm
This page was built for publication: Multi-agent verification and control with probabilistic model checking
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6546442)
