Tractable Probabilistic mu-Calculus That Expresses Probabilistic Temporal Logics
| Title | Tractable Probabilistic mu-Calculus That Expresses Probabilistic Temporal Logics |
| Publication Type | Conference Paper |
| Year of Publication | 2015 |
| Authors | Castro, PF, Kilmurray, C, Piterman, N |
| Conference Name | 32nd Symposium on Theoretical Aspects of Computer Science |
| Publisher | Schloss Dagstuhl |
| Keywords | Automata, Games, Temporal Logic |
Work Package:
WP4
