Markov Chains and Unambiguous Büchi Automata

Article Details
Title:	Markov Chains and Unambiguous Büchi Automata
Article URLs:	https://doi.org/10.1007/978-3-319-41528-4_2
Alternative Article URLs:
Authors:	Christel Baier	Technische Universität Dresden
	Stefan Kiefer	University of Oxford
	Joachim Klein	Technische Universität Dresden
	Sascha Klüppelholz	Technische Universität Dresden
	David Müller	Technische Universität Dresden
	James Worrell	University of Oxford
Sharing:	Unknown
Verification:	Authors have not verified information
Artifact Evaluation Badge:	Artifacts for some papers are reviewed by an artifact evaluation, reproducibility, or similarly named committee. This is one such paper that passed review. awarded
Artifact URLs:	https://wwwtcs.inf.tu-dresden.de/ALGI/PUB/CAV16/
Artifact Correspondence Email Addresses:
NSF Award Numbers:
DBLP Key:	conf/cav/BaierK0K0W16
Author Comments:

Computer Aided Verification, CAV 2016