Created by sbusard, at April 17, 2013, at 01:39 PM

Simon Busard and Charles Pecheur had a paper accepted at SR 2013, and another paper accepted at NFM 2013.

SR 2013, the First International Workshop on Strategic Reasoning, was co-located with ETAPS 2013 and took place in Rome, Italy, in March 2013. The paper covers recent research in the field of reasoning about strategies under partial observability and fairness constraints.

NFM 2013, the 5th NASA Formal Methods Symposium, will take place at the NASA Ames Research Center, in Moffett Field, CA, USA, in May 2013. The paper presents PyNuSMV, a Python framework for experimenting and prototyping BDD-based model checking algorithms based on NuSMV.

Tags: Strategies, Tools, 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