arXiv:2608. 03662v1 Announce Type: new Abstract: Safety shields are runtime enforcement mechanisms that restrict the actions of a controller to guarantee safety.
By Filip Cano, Thomas A. Henzinger, Konstantin Kueffner
arXiv:2606. 02562v1 Announce Type: cross Abstract: Autonomous robots that interact with people must make safe and efficient decisions under human-induced uncertainty, such as their preferences, goals, competency, and willingness to cooperate.
By Haimin Hu
arXiv:2508. 19186v2 Announce Type: replace-cross Abstract: Reactive obstacle avoidance methods often cause agents to become trapped in local minima, because they can often only reason one step ahead (i.
By Christopher Chandler, Bernd Porr, Giulia Lafratta, Alice Miller
arXiv:2606. 13621v1 Announce Type: new Abstract: Shielded reinforcement learning is typically presented as a runtime safety mechanism that compiles temporal-logic specifications into automata restricting an agent's actions.
By Achraf Hsain, Sultan Almuhammadi
arXiv:2603. 06921v2 Announce Type: replace-cross Abstract: Safe navigation of autonomous robots remains one of the core challenges in the field, especially in dynamic and uncertain environments.
By Bojan Deraji\'c, Sebastian Bernhard, Wolfgang H\"onig
arXiv:2606. 00090v1 Announce Type: cross Abstract: Physical AI systems increasingly map multimodal observations, language instructions, and learned world representations into physically consequential actions.
By Barak Or