Tractable Probabilistic mu-Calculus That Expresses Probabilistic Temporal Logics.

Pablo F. Castro Cecilia Kilmurray Nir Piterman

Published in: STACS (2015)

Keyphrases

temporal logic
uncertain data
probabilistic model
modal logic
generative model
model checking
computational complexity
special case
predicate logic
transition systems