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.
Tags: -
Find It
Sections
Verification Diagnosis Autonomy ModelChecking Planning PDDL Requirements Testing LTL ThemeCoverage HumanComputerInteraction UserModel ProjectMOVES ThemeHMI LVL Website SymbolicModelChecking CTL Actions SMV EpistemicLogic ProjectNASA PartialOrderReduction BoundedModelChecking ThemePOR TemporalLogic Simulation Tools Tutorial Publication Equivalences