conftrace_

discrete abstraction

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

hybrid controller synthesis (1) partially known map (1) controller re-synthesis (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