Cover Image

Automated Robot Recovery from Assumption Violations of High-Level Specifications

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Meng, Qian, Kress-Gazit, Hadas
Format:	Preprint
Published:	2024
Subjects:	Robotics 68T40
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

INPROVF: Leveraging Large Language Models to Repair High-level Robot Controllers from Assumption Violations
by: Meng, Qian, et al.
Published: (2025)

High-Level, Collaborative Task Planning Grammar and Execution for Heterogeneous Agents
by: Fang, Amy, et al.
Published: (2024)

Online Resynthesis of High-Level Collaborative Tasks for Robots with Changing Capabilities
by: Fang, Amy, et al.
Published: (2024)

Bridging Perception and Action: Spatially-Grounded Mid-Level Representations for Robot Generalization
by: Yang, Jonathan, et al.
Published: (2025)

Multi-Source Encapsulation With Guaranteed Convergence Using Minimalist Robots
by: Sinhmar, Himani, et al.
Published: (2024)

Continuous Execution of High-Level Collaborative Tasks for Heterogeneous Robot Teams
by: Fang, Amy, et al.
Published: (2024)

CAVER: Curious Audiovisual Exploring Robot
by: Macesanu, Luca, et al.
Published: (2025)

Toward a Better Understanding of Robot Energy Consumption in Agroecological Applications
by: Bras, Alexis, et al.
Published: (2024)

CLAW: A Vision-Language-Action Framework for Weight-Aware Robotic Grasping
by: An, Zijian, et al.
Published: (2025)

Automated Feature Selection for Inverse Reinforcement Learning
by: Baimukashev, Daulet, et al.
Published: (2024)

Autonomous Robotic System with Optical Coherence Tomography Guidance for Vascular Anastomosis
by: Haworth, Jesse, et al.
Published: (2024)

Physically-Feasible Reactive Synthesis for Terrain-Adaptive Locomotion
by: Zhou, Ziyi, et al.
Published: (2025)

Physically-Feasible Reactive Synthesis for Terrain-Adaptive Locomotion via Trajectory Optimization and Symbolic Repair
by: Zhou, Ziyi, et al.
Published: (2025)

Enhancing Robustness in Language-Driven Robotics: A Modular Approach to Failure Reduction
by: Garrabé, Émiland, et al.
Published: (2024)

DISCOVERSE: Efficient Robot Simulation in Complex High-Fidelity Environments
by: Jia, Yufei, et al.
Published: (2025)

GS-Playground: A High-Throughput Photorealistic Simulator for Vision-Informed Robot Learning
by: Jia, Yufei, et al.
Published: (2026)

Self-Supervised Depth Correction of Lidar Measurements from Map Consistency Loss
by: Agishev, Ruslan, et al.
Published: (2023)

Teacher Motion Priors: Enhancing Robot Locomotion over Challenging Terrain
by: Jin, Fangcheng, et al.
Published: (2025)

Recent Advances of Deep Robotic Affordance Learning: A Reinforcement Learning Perspective
by: Yang, Xintong, et al.
Published: (2023)

Dimension-variable Mapless Navigation with Deep Reinforcement Learning
by: Zhang, Wei, et al.
Published: (2020)

A Time-dependent Risk-aware distributed Multi-Agent Path Finder based on A*
by: Nordström, S, et al.
Published: (2025)

SeqVLA: Sequential Task Execution for Long-Horizon Manipulation with Completion-Aware Vision-Language-Action Model
by: Yang, Ran, et al.
Published: (2025)

UniLab: A Heterogeneous Architecture for Robot RL Beyond GPU-Dominant Paradigms
by: Jia, Yufei, et al.
Published: (2026)

Offline Goal-Conditioned Reinforcement Learning for Safety-Critical Tasks with Recovery Policy
by: Cao, Chenyang, et al.
Published: (2024)

Action-Aware Pro-Active Safe Exploration for Mobile Robot Mapping
by: İşleyen, Aykut, et al.
Published: (2025)

MonoForce: Self-supervised Learning of Physics-informed Model for Predicting Robot-terrain Interaction
by: Agishev, Ruslan, et al.
Published: (2023)

FGGS-LiDAR: Ultra-Fast, GPU-Accelerated Simulation from General 3DGS Models to LiDAR
by: Wu, Junzhe, et al.
Published: (2025)

Context Representation via Action-Free Transformer encoder-decoder for Meta Reinforcement Learning
by: Enayati, Amir M. Soufi, et al.
Published: (2025)

Large-Scale LiDAR-Inertial Dataset for Degradation-Robust High-Precision Mapping
by: Jin, Xiaofeng, et al.
Published: (2025)

Two-Steps Diffusion Policy for Robotic Manipulation via Genetic Denoising
by: Clemente, Mateo, et al.
Published: (2025)

Invariance Co-training for Robot Visual Generalization
by: Yang, Jonathan, et al.
Published: (2025)

PyroTrack: Belief-Based Deep Reinforcement Learning Path Planning for Aerial Wildfire Monitoring in Partially Observable Environments
by: Khoshdel, Sahand, et al.
Published: (2024)

Multi Object Tracking for Predictive Collision Avoidance
by: Gebregziabher, Bruk, et al.
Published: (2023)

RLPP: A Residual Method for Zero-Shot Real-World Autonomous Racing on Scaled Platforms
by: Ghignone, Edoardo, et al.
Published: (2025)

Heuristic Search for Path Finding with Refuelling
by: Zhao, Shizhe, et al.
Published: (2023)

Learning Barrier-Certified Polynomial Dynamical Systems for Obstacle Avoidance with Robots
by: Schonger, Martin, et al.
Published: (2024)

Learning to Communicate Functional States with Nonverbal Expressions for Improved Human-Robot Collaboration
by: Roy, Liam, et al.
Published: (2024)

Development of Compositionality and Generalization through Interactive Learning of Language and Action of Robots
by: Vijayaraghavan, Prasanna, et al.
Published: (2024)

Stinger Robot: A Self-Bracing Robotic Platform for Autonomous Drilling in Confined Underground Environments
by: Liu, H., et al.
Published: (2025)

Open, Reproducible and Trustworthy Robot-Based Experiments with Virtual Labs and Digital-Twin-Based Execution Tracing
by: Alt, Benjamin, et al.
Published: (2025)