2 papers
cs.RO2026
Interventional Causal Circuits for Safe Robot Action Testing and Failure Recovery
Naren Vasantakumaar, Tom Schierenbeck, Michael Beetz
Safe physical AI for robot actions are required not only likely to succeed but tested to be safe before execution. In practice, however, formal testing of motion parameters is comp…
cs.AI2026
Implementing Knowledge Representation and Reasoning with Object Oriented Design
Abdelrhman Bassiouny, Tom Schierenbeck, Sorin Arion +4
This paper introduces KRROOD, a framework designed to bridge the integration gap between modern software engineering and Knowledge Representation & Reasoning (KR&R) systems. While…