conftrace_

hybrid controller synthesis

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

partially known map (1) controller re-synthesis (1) discrete abstraction (1) high-level behavior (1) hybrid controller (1) automatic synthesis (1) robot exploration (1) linear temporal logic (1) hybrid system (1) robot control (1)

Papers

Guaranteeing High-Level Behaviors while Exploring Partially Known Maps RSS 2012