PRISM-games
From MaRDI portal
Software:24857
No author found.
Related Items (23)
A computationally grounded, weighted doxastic logic ⋮ Compositional strategy synthesis for stochastic games with multiple objectives ⋮ Automatic verification of concurrent stochastic systems ⋮ Quantitative verification and strategy synthesis for stochastic games ⋮ Reasoning about equilibria in game-like concurrent systems ⋮ Unnamed Item ⋮ On Abstraction of Probabilistic Systems ⋮ Permissive Controller Synthesis for Probabilistic Systems ⋮ Value iteration for simple stochastic games: stopping criterion and learning algorithm ⋮ Tools and algorithms for the construction and analysis of systems. 19th international conference, TACAS 2013, held as part of the European joint conferences on theory and practice of software, ETAPS 2013, Rome, Italy, March 16--24, 2013. Proceedings ⋮ Synthesising Strategy Improvement and Recursive Algorithms for Solving 2.5 Player Parity Games ⋮ Collaborative models for autonomous systems controller synthesis ⋮ PuRSUE -- from specification of robotic environments to synthesis of controllers ⋮ Verifying the Gaming Strategy of Self-learning Game by Using PRISM-Games ⋮ Formal System Verification ⋮ Automated temporal equilibrium analysis: verification and synthesis of multi-player games ⋮ Unnamed Item ⋮ Automated Verification and Strategy Synthesis for Probabilistic Systems ⋮ Natural strategic ability ⋮ Multi-valued Verification of Strategic Ability ⋮ Advances in Quantitative Verification for Ubiquitous Computing ⋮ Comparison of algorithms for simple stochastic games ⋮ Verification of multiplayer stochastic games via abstract dependency graphs
This page was built for software: PRISM-games
