Tractable Probabilistic mu-Calculus That Expresses Probabilistic Temporal Logics

Castro, P.; Kilmurray, C.; Piterman, N.

Tractable Probabilistic mu-Calculus That Expresses Probabilistic Temporal Logics (bibtex)

@InProceedings{CKP15,
  author =       {P. Castro and C. Kilmurray and N. Piterman},
  title = 	 {Tractable Probabilistic mu-Calculus That Expresses Probabilistic Temporal Logics},
  booktitle = {32nd Symposium on Theoretical Aspects of Computer Science},
  OPTpages = 	 {},
  year = 	 {2015},
  publisher = {Schloss Dagstuhl},
  series = {LIPIcs},
  pdf = 	 {2015/CKP15.pdf},
  OPTurl = 	 {},
  keywords = {Automata,Games,Temporal Logic},
}