:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Serbinowska, Serena S., Potteiger, Nicholas, Tumlin, Anne M., Johnson, Taylor T.
Format:	Preprint
Published:	2024
Subjects:	Robotics
Online Access:	https://arxiv.org/abs/2411.14162
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

BehaVerify: Verifying Temporal Logic Specifications for Behavior Trees
by: Serbinowska, Serena S., et al.
Published: (2022)

Formalizing Stateful Behavior Trees
by: Serbinowska, Serena S., et al.
Published: (2024)

Reward Shaping and Action Masking for Compositional Tasks using Behavior Trees and LLMs
by: Potteiger, Nicholas, et al.
Published: (2026)

Case Study: Neural Network Malware Detection Verification for Feature and Image Datasets
by: Robinette, Preston K., et al.
Published: (2024)

Context-Triggered Contingency Games for Strategic Multi-Agent Interaction
by: Schweppe, Kilian, et al.
Published: (2025)

Airspace-aware Contingency Landing Planning
by: Tekaslan, H. Emre, et al.
Published: (2026)

Verification and Forward Invariance of Control Barrier Functions for Differential-Algebraic Systems
by: Zhang, Hongchao, et al.
Published: (2026)

Contingency Constrained Planning with MPPI within MPPI
by: Jung, Leonard, et al.
Published: (2024)

Designing Robust Cyber-Defense Agents with Evolving Behavior Trees
by: Potteiger, Nicholas, et al.
Published: (2024)

RACP: Risk-Aware Contingency Planning with Multi-Modal Predictions
by: Mustafa, Khaled A., et al.
Published: (2024)

Occlusion-Aware Contingency Safety-Critical Planning for Autonomous Driving
by: Zheng, Lei, et al.
Published: (2025)

CoPlanner: An Interactive Motion Planner with Contingency-Aware Diffusion for Autonomous Driving
by: Zhong, Ruiguo, et al.
Published: (2025)

DualTHOR: A Dual-Arm Humanoid Simulation Platform for Contingency-Aware Planning
by: Li, Boyu, et al.
Published: (2025)

SCRAMPPI: Efficient Contingency Planning for Mobile Robot Navigation via Hamilton-Jacobi Reachability
by: Srirangam, Raj Harshit, et al.
Published: (2026)

Contingency-Aware Planning via Certified Neural Hamilton-Jacobi Reachability
by: Muenprasitivej, Kasidit, et al.
Published: (2026)

Contingency Planning Using Bi-level Markov Decision Processes for Space Missions
by: Banerjee, Somrita, et al.
Published: (2024)

Contingency Model Predictive Control for Bipedal Locomotion on Moving Surfaces with a Linear Inverted Pendulum Model
by: Chen, Kuo, et al.
Published: (2024)

Constraint-Aware Refinement for Safety Verification of Neural Feedback Loops
by: Rober, Nicholas, et al.
Published: (2024)

Time Management Considerations for Balancing Optical Disc Point-of-Use Instruction with Other Reference Services.
by: Tumlin, Markel D.
Published: (1993)

First do not fall: learning to exploit a wall with a damaged humanoid robot
by: Anne, Timothée, et al.
Published: (2022)

Safe and Nonconservative Contingency Planning for Autonomous Vehicles via Online Learning-Based Reachable Set Barriers
by: Yang, Rui, et al.
Published: (2025)

Botany Meets Robotics in Alpine Scree Monitoring
by: De Benedittis, Davide, et al.
Published: (2025)

Grand Challenges in the Verification of Autonomous Systems
by: Leahy, Kevin, et al.
Published: (2024)

Multi-Contact Whole-Body Force Control for Position-Controlled Robots
by: Rouxel, Quentin, et al.
Published: (2023)

Decentralized Contingency MPC based on Safe Sets for Nonlinear Multi-agent Collision Avoidance
by: Studt, Max, et al.
Published: (2026)

Open-Loop Planning, Closed-Loop Verification: Speculative Verification for VLA
by: Wang, Zihua, et al.
Published: (2026)

Distributed Behavior Trees for Heterogeneous Robot Teams
by: Heppner, Georg, et al.
Published: (2023)

Out-of-Distribution Detection for Neurosymbolic Autonomous Cyber Agents
by: Samaddar, Ankita, et al.
Published: (2024)

Symbolic Runtime Verification and Adaptive Decision-Making for Robot-Assisted Dressing
by: Rafiq, Yasmin, et al.
Published: (2025)

Cross--layer Formal Verification of Robotic Systems
by: Raïs, Sylvain, et al.
Published: (2024)

Contingency Model-based Control (CMC) for Communicationless Cooperative Collision Avoidance in Robot Swarms
by: Schildbach, Georg
Published: (2025)

Comparison between Behavior Trees and Finite State Machines
by: Iovino, Matteo, et al.
Published: (2024)

Automatic Behavior Tree Expansion with LLMs for Robotic Manipulation
by: Styrud, Jonathan, et al.
Published: (2024)

Knowledge-based Execution Configuration for Adaptive Behavior Trees
by: Ruiz Celada, Oriol, et al.
Published: (2025)

A formal implementation of Behavior Trees to act in robotics
by: Ingrand, Felix
Published: (2025)

Learning Strategies For Successful Crowd Navigation
by: Daulatabad, Rajshree, et al.
Published: (2024)

Automated Behavior Planning for Fruit Tree Pruning via Redundant Robot Manipulators: Addressing the Behavior Planning Challenge
by: Liu, Gaoyuan, et al.
Published: (2025)

Flow Matching Imitation Learning for Multi-Support Manipulation
by: Rouxel, Quentin, et al.
Published: (2024)

Constructing Behavior Trees from Temporal Plans for Robotic Applications
by: Zapf, Josh, et al.
Published: (2024)

Design and Evaluation of an Assisted Programming Interface for Behavior Trees in Robotics
by: Styrud, Jonathan, et al.
Published: (2026)