mlsanityData to 14 Oct 2026

The Constitutional Controller: Doubt-Calibrated Steering of Compliant Agents

arXiv 2507.15478 ↗First posted 21 Jul 2025cs.RO cs.AI cs.LGcited by 1

Not on the map. Why?

Abstract (arXiv)

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 systems, which integrate probabilistic, symbolic white-box reasoning models with deep learning methods, offer a powerful solution to this challenge. This enables the simultaneous consideration of explicit rules and neural models trained on noisy data, combining the strength of structured reasoning with flexible representations. To this end, we introduce the Constitutional Controller (CoCo), a novel framework designed to enhance the safety and reliability of agents by reasoning over deep probabilistic logic programs representing constraints such as those found in shared traffic spaces. Furthermore, we propose the concept of self-doubt, implemented as a probability density conditioned on doubt features such as travel velocity, employed sensors, or health factors. In a real-world aerial mobility study, we demonstrate CoCo's advantages for intelligent autonomous systems to learn appropriate doubts and navigate complex and uncertain environments safely and compliantly.

Key facts. Cited by 1 paper in the map (data through 14 Oct 2026). Builds on 12 of its 44 references that are in the map. First posted on arXiv 21 Jul 2025.

Builds on

12 of 44 references.

References · 12

  1. 2024SAM 2: Segment Anything in Images and Videoscited by 2,863
  2. 2017Masked Autoregressive Flow for Density Estimationcited by 684
  3. 2019Neural Probabilistic Logic Programming in DeepProbLogcited by 394
  4. 2017Multi-shot ASP solving with clingocited by 115
  5. 2023NeurASP: Embracing Neural Networks into Answer Set Programmingcited by 92
  6. 2023Scalable Neural-Probabilistic Answer Set Programmingcited by 14
  7. 2024Mission Design for Unmanned Aerial Vehicles using Hybrid Probabilistic Logic Programscited by 4
  8. 2024Probabilistic Mission Design for Neuro-Symbolic Unmanned Aircraft Systemscited by 4
  9. 2024Towards Probabilistic Clearance, Explanation and Optimizationcited by 3
  10. 2024The Constitutional Filter: Bayesian Estimation of Compliant Agentscited by 3
  11. 2024StaR Maps: Unveiling Uncertainty in Geospatial Relationscited by 3
  12. 2024Scalar Field Mapping with Adaptive High-Intensity Region Avoidancecited by 2

Built on by

Cited by year (2026 to 14 Oct)

Citing papers per year: 2026: 1.

1 paper.

Similar, not cited

Close in wording, no citation either way

  1. 2026Neuro-Symbolic Agentic AI for Networked Low-Altitude UAVs
  2. 2024Imperative Learning: A Self-supervised Neuro-Symbolic Learning Framework for Robot Autonomy
  3. 2026Neuro-Symbolic Drive: Rule-Grounded Faithful Reasoning for Driving VLAs
  4. 2025Bayesian Inverse Physics for Neuro-Symbolic Robot Learning
  5. 2025A Neuro-Symbolic Framework for Reasoning under Perceptual Uncertainty: Bridging Continuous Perception and Discrete Symbolic Planning
  6. 2025Scenario-based Compositional Verification of Autonomous Systems with Neural Perception
  7. 2026A Neuro-Symbolic Framework Combining Inductive and Deductive Reasoning for Autonomous Driving Planning
  8. 2026Bounded Autonomy and Verifiable Safety for Agentic AI Enabled Automation