Publications

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