Model Checking Propositional Deontic Temporal Logic via a mu-Calculus Characterization
| Title | Model Checking Propositional Deontic Temporal Logic via a mu-Calculus Characterization |
| Publication Type | Conference Paper |
| Year of Publication | 2012 |
| Authors | Acosta, A, Kilmurray, C, Castro, PF, Aguirre, N |
| Conference Name | 15th Brazilian Symposium on Formal Methods (SBMF 2012) |
| Date Published | 09/2012 |
| Publisher | Springer |
| Conference Location | Natal, Brazil |
Work Package:
WP5
