On modularity in reactive control architectures, with an application to formal verification

28 August 2020

Papers citing "On modularity in reactive control architectures, with an application to formal verification"

7 / 7 papers shown

Title
A Unified Framework for Real-Time Failure Handling in Robotics Using Vision-Language Models, Reactive Planner and Behavior Trees Faseeh Ahmad Hashim Ismail Jonathan Styrud Maj Stenmark Volker Krueger 53 1 0 19 Mar 2025
Behavior Trees Enable Structured Programming of Language Model Agents Richard Kelley AI4CE LM&Ro LLMAG 45 0 0 11 Apr 2024
An Extended Convergence Result for Behaviour Tree Controllers Christopher Iliffe Sprague Petter Ögren 26 1 0 17 Aug 2023
Behavior Trees for Robust Task Level Control in Robotic Applications Matteo Iovino Christian Smith 47 2 0 16 Jan 2023
On the programming effort required to generate Behavior Trees and Finite State Machines for robotic applications Matteo Iovino Julian Förster Pietro Falco Jen Jen Chung Roland Siegwart Christian Smith 38 27 0 15 Sep 2022
Continuous-Time Behavior Trees as Discontinuous Dynamical Systems Christopher Iliffe Sprague Petter Ögren 19 7 0 03 Sep 2021
A principled analysis of Behavior Trees and their generalisations O. Biggar Mohammad Zamani Iman Shames 19 10 0 27 Aug 2020