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

Speakers
Charles Pecheur
Tags
, , ,