Talks
Symbolic model checking of multi-modal logics: uniform strategies and rich explanations
- Title
- Symbolic model checking of multi-modal logics: uniform strategies and rich explanations
- Speaker(s)
- Simon Busard
- Context
- Simon Busard Public Defense, July 3, 2017, Louvain-la-Neuve, Belgium
- File(s)
- sbusard-public-defense.pdf
Related Publication(s):
- Symbolic model checking of multi-modal logics: uniform strategies and rich explanations. Simon Busard. Doctoral thesis, Université catholique de Louvain.