| Safraless Synthesis for Epistemic Temporal Specifications. | 2 | 0.37 | 2014 |
| Model Checking an Epistemic mu-calculus with Synchronous and Perfect Recall Semantics. | 3 | 0.39 | 2013 |
| Model-checking an Epistemic μ-calculus with Synchronous and Perfect Recall Semantics | 0 | 0.34 | 2012 |
