Publications
Filters: Keyword is Automata [Clear All Filters]
, “A Recursive Temporal Logic”, in 17th International Conference on Formal Engineering Methods, 2015.
, “Tractable Probabilistic mu-Calculus That Expresses Probabilistic Temporal Logics”, in 32nd Symposium on Theoretical Aspects of Computer Science, 2015.
