conftrace_

environment assumption

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

correct-by-construction design (1) runtime monitoring (1) recovery behavior (1) formal synthesis (1) controller synthesis (1) robot controller (1) runtime verification (1)

Papers

Correct High-level Robot Behavior in Environments with Unexpected Events RSS 2014