A Simple Algorithm for Solving Qualitative Probabilistic Parity Games

Article Details
Title:	A Simple Algorithm for Solving Qualitative Probabilistic Parity Games
Article URLs:	https://doi.org/10.1007/978-3-319-41540-6_16
Alternative Article URLs:
Authors:	Ernst Moritz Hahn	CAS, Institute of Software, State Key Laboratory of Computer Science
	Sven Schewe	University of Liverpool
	Andrea Turrini	CAS, Institute of Software, State Key Laboratory of Computer Science
	Lijun Zhang	CAS, Institute of Software, State Key Laboratory of Computer Science
Sharing:	Unknown
Verification:	Authors have not verified information
Artifact Evaluation Badge:	none
Artifact URLs:
Artifact Correspondence Email Addresses:
NSF Award Numbers:
DBLP Key:	conf/cav/HahnSTZ16
Author Comments:

Computer Aided Verification, CAV 2016