Trace Repair for Temporal Behavior Trees

Sebastian Schirmer, Philipp Schitz, Johann C. Dauer +2

We present methods for repairing traces against specifications given as temporal behavior trees (TBT). TBT are a specification formalism for action sequences in robotics and cyber-…