3 citations · 3 across the 3 of their papers we have counts for
Showing 2025Show all
2 papers · 1 filter
cs.LO2025
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-…
math.OC2025★ 1 cited
Feasibility of multiple robust control barrier functions for bounding box constraints
Mark Spiller, Emilia Isbono, Philipp Schitz
Enforcing multiple constraints based on the concept of control barrier functions (CBFs) is a remaining challenge because each of the CBFs requires a condition on the control inputs…