autonomous robots 1formal verification 1obstacle avoidance 1reactive planning 1real-time model checking 1
From the 1 of 3 linked papers with an AI index.
3 papers
cs.RO2026
Real-Time Model Checking for Closed-Loop Robot Reactive Planning
Christopher Chandler, Bernd Porr, Giulia Lafratta +1
The paper presents a lightweight, on‑board model checking algorithm that enables real‑time multi‑step reactive planning for obstacle avoidance on low‑powered autonomous robots.
cs.RO2025
Closed-loop Multi-step Planning
Giulia Lafratta, Bernd Porr, Christopher Chandler +1
Living organisms interact with their surroundings in a closed-loop fashion, where sensory inputs dictate the initiation and termination of behaviours. Even simple animals are able…
cs.RO2024
Closed-loop multi-step planning with innate physics knowledge
Giulia Lafratta, Bernd Porr, Christopher Chandler +1
We present a hierarchical framework to solve robot planning as an input control problem. At the lowest level are temporary closed control loops, ("tasks"), each representing a beha…