conftrace_

automatic synthesis

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

hybrid controller (1) hybrid controller synthesis (1) partially known map (1) controller re-synthesis (1) discrete abstraction (1) high-level behavior (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