Talks
Verification of Intelligent Controllers using Model Checking
- Title
- Verification of Intelligent Controllers using Model Checking
- Speaker(s)
- Charles Pecheur
- Context
- Invited Talk at ASTRA 2006, Nov 2006
- File(s)
- pecheur-astra2006-slides
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