Publications
Filters: Author is Cecilia Kilmurray [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.
, “ Model Checking Propositional Deontic Temporal Logic via a mu-Calculus Characterization”, in 15th Brazilian Symposium on Formal Methods (SBMF 2012), Natal, Brazil, 2012.
