Talks
Guided Simulation of Autonomous Controllers
- 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