- Invariant Synthesis for Linear Dynamical Systems
- Thesis defense.
- Opacity of Probabilistic Systems
- Approximate Diagnosis of Probabilistic Systems.
- Priced Timed Games.