Talks
Rich Counter-Examples for Temporal-Epistemic Logic Model Checking
- Title
- Rich Counter-Examples for Temporal-Epistemic Logic Model Checking
- Speaker(s)
- Simon Busard
- Context
- Second International Workshop on Interactions, Games and Protocols, 24 March - 1 April 2012, Tallinn, Estonia
- File(s)
- iwigp2012.pdf
Related Publication(s):
- Rich Counter-Examples for Temporal-Epistemic Logic Model Checking. Simon Busard, Charles Pecheur. Proceedings Second International Workshop on Interactions, Games and Protocols, Tallinn, Estonia, 25th March 2012.
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