Araceli Acosta

Publication Activity (10 Years)

Years Active: 2011-2012
Publications (10 Years): 0

Top Topics

Linear Time Temporal Logic

Coalition Logic

Process Algebra

Top Venues

Publications

Araceli Acosta, Cecilia Kilmurray, Pablo F. Castro, Nazareno Aguirre
Model Checking Propositional Deontic Temporal Logic via a μ-Calculus Characterization. SBMF (2012)
Pablo F. Castro, Cecilia Kilmurray, Araceli Acosta, Nazareno Aguirre
dCTL: A Branching Time Temporal Logic for Fault-Tolerant System Verification. SEFM (2011)