Publications

Export 3 results:
Sort by: Author Title Type [ Year (Desc)]
Filters: Author is Cecilia Kilmurray  [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.
2012
A. Acosta, C. Kilmurray, P. F. Castro, and N. Aguirre, “ Model Checking Propositional Deontic Temporal Logic via a mu-Calculus Characterization”, in 15th Brazilian Symposium on Formal Methods (SBMF 2012), Natal, Brazil, 2012.