A Simple Algorithm for Solving Qualitative Probabilistic Parity Games

DOI10.1007/978-3-319-41540-6_16zbMath1411.68068OpenAlexW2498607216MaRDI QIDQ4633558

Ernst Moritz Hahn, Andrea Turrini, Sven Schewe, Li-jun Zhang

Publication date: 3 May 2019

Published in: Computer Aided Verification (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-41540-6_16

Mathematics Subject Classification ID

Analysis of algorithms (68W40) Games involving graphs (91A43) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (2)

Identity-Based Cryptosystems and Quadratic Residuosity ⋮ Model-Free Reinforcement Learning for Stochastic Parity Games

This page was built for publication: A Simple Algorithm for Solving Qualitative Probabilistic Parity Games