conftrace_

correct-by-construction design

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

runtime monitoring (1) environment assumption (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