Created by sbusard, at February 07, 2012, at 12:33 PM

Simon Busard and Charles Pecheur had a paper accepted at IWIGP 2012.

IWIGP 2012, the International Workshop on Interactions, Games and Protocols, is co-located with ETAPS 2012 and will take place Tallinn, Estonia, in March 2012. This paper covers recent advances in the research of Simon Busard.

Tags: Counterexamples, Epistemic Logic, Publications

Sections

• LVL Home Page
• News
• Research Themes
• Publications
• Talks
• Tools
• Staff
• Contact

Tag cloud

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