conftrace_

recovery behavior

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

correct-by-construction design (1) runtime monitoring (1) environment assumption (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