4 citations · 4 across the 6 of their papers we have counts for
1 paper · 1 filter
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-…