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):


Speakers
Simon Busard
Tags
, ,