58 citations
- Saarland UniversityDE15 papers
- Ruhr University BochumDE11 papers
- Max Planck Institute for InformaticsDE8 papers
- Max Planck Institute for Security and PrivacyDE7 papers
- Leibniz University HannoverDE6 papers
- Technical University of MunichDE5 papers
- Centre National de la Recherche ScientifiqueFR4 papers
- KU LeuvenBE4 papers
- Purdue University West LafayetteUS4 papers
- Technische Universität BerlinDE4 papers
- Arizona State UniversityUS3 papers
- École Polytechnique Fédérale de LausanneCH3 papers
Showing 2025 · cs.LOShow all
2 papers · 2 filters
cs.LO2025★ 1 cited
Explainability Requirements as Hyperproperties
Bernd Finkbeiner, Julian Siber
Explainability is emerging as a key requirement for autonomous systems. While many works have focused on what constitutes a valid explanation, few have considered formalizing expla…
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-…