2016
Simultaneous model identification and task satisfaction in the presence of temporal logic constraints
ICRA 2016
Recent proliferation of cyber-physical systems, ranging from autonomous cars to nuclear hazard inspection robots, has exposed several challenging research problems on automated fault detection and recovery. This paper considers how recently developed formal synthesis and model verification technique