Tractable Probabilistic mu-Calculus That Expresses Probabilistic Temporal Logics

TitleTractable Probabilistic mu-Calculus That Expresses Probabilistic Temporal Logics
Publication TypeConference Paper
Year of Publication2015
AuthorsCastro, PF, Kilmurray, C, Piterman, N
Conference Name32nd Symposium on Theoretical Aspects of Computer Science
PublisherSchloss Dagstuhl
KeywordsAutomata, Games, Temporal Logic
Work Package: 
WP4