Title

Guided Simulation of Autonomous Controllers

Speaker(s)

Charles Pecheur

Context

Dagstuhl seminar on Directed Model Checking, Dagstuhl, Germany, May 2006

File(s)

pecheur-dagstuhl2006-slides

Tags: Model Checking, Simulation, Autonomy, Diagnosis

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