[2603.03977] Right in Time: Reactive Reasoning in Regulated Traffic Spaces

Computer Science > Robotics arXiv:2603.03977 (cs) [Submitted on 4 Mar 2026] Title:Right in Time: Reactive Reasoning in Regulated Traffic Spaces Authors:Simon Kohaut, Benedict Flade, Julian Eggert, Kristian Kersting, Devendra Singh Dhami View a PDF of the paper titled Right in Time: Reactive Reasoning in Regulated Traffic Spaces, by Simon Kohaut and 4 other authors View PDF HTML (experimental) Abstract:Exact inference in probabilistic First-Order Logic offers a promising yet computationally costly approach for regulating the behavior of autonomous agents in shared traffic spaces. While prior methods have combined logical and probabilistic data into decision-making frameworks, their application is often limited to pre-flight checks due to the complexity of reasoning across vast numbers of possible universes. In this work, we propose a reactive mission design framework that jointly considers uncertain environmental data and declarative, logical traffic regulations. By synthesizing Probabilistic Mission Design (ProMis) with reactive reasoning facilitated by Reactive Circuits (RC), we enable online, exact probabilistic inference over hybrid domains. Our approach leverages the Frequency of Change inherent in heterogeneous data streams to subdivide inference formulas into memoized, isolated tasks, ensuring that only the specific components affected by new sensor data are re-evaluated. In experiments involving both real-world vessel data and simulated drone traffic in dense urban ...