collaborators

5 papers

cs.RO2025

The Constitutional Controller: Doubt-Calibrated Steering of Compliant Agents

Simon Kohaut, Felix Divo, Navid Hamid +4

Ensuring reliable and rule-compliant behavior of autonomous agents in uncertain environments remains a fundamental challenge in modern robotics. Our work shows how neuro-symbolic s…

cs.AI2025

Probabilistic Mission Design for Neuro-Symbolic Unmanned Aircraft Systems

Simon Kohaut, Benedict Flade, Daniel Ochs +3

Advanced Air Mobility (AAM) is a growing field that demands accurate and trustworthy models of legal concepts and restrictions for navigating Unmanned Aircraft Systems (UAS). In ad…

cs.RO2024

StaR Maps: Unveiling Uncertainty in Geospatial Relations

Simon Kohaut, Benedict Flade, Julian Eggert +2

The growing complexity of intelligent transportation systems and their applications in public spaces has increased the demand for expressive and versatile knowledge representation.…

cs.RO2024

Hybrid Many-Objective Optimization in Probabilistic Mission Design for Compliant and Effective UAV Routing

Simon Kohaut, Nikolas Hohmann, Sebastian Brulin +6

Advanced Aerial Mobility encompasses many outstanding applications that promise to revolutionize modern logistics and pave the way for various public services and industry uses. Ho…

cs.RO2024

The Constitutional Filter: Bayesian Estimation of Compliant Agents

Simon Kohaut, Felix Divo, Benedict Flade +3

Predicting agents impacted by legal policies, physical limitations, and operational preferences is inherently difficult. In recent years, neuro-symbolic methods have emerged, integ…