Cover Image

Real-Time Model Checking for Closed-Loop Robot Reactive Planning

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Chandler, Christopher, Porr, Bernd, Lafratta, Giulia, Miller, Alice
Format:	Preprint
Published:	2025
Subjects:	Robotics Artificial Intelligence Formal Languages and Automata Theory I.2.9; I.2; D.2.4
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Beyond Winning Strategies: Admissible and Admissible Winning Strategies for Quantitative Reachability Games
by: Muvvala, Karan, et al.
Published: (2024)

EmbodiedLGR: Integrating Lightweight Graph Representation and Retrieval for Semantic-Spatial Memory in Robotic Agents
by: Riva, Paolo, et al.
Published: (2026)

AUTONAV: A Toolfor Autonomous Navigation of Robots
by: Sarwar, Mir Md Sajid, et al.
Published: (2025)

Querying Labeled Time Series Data with Scenario Programs
by: Shanker, Devan
Published: (2024)

Governed Capability Evolution: Lifecycle-Time Compatibility Checking and Rollback for AI-Component-Based Systems, with Embodied Agents as Case Study
by: Qin, Xue, et al.
Published: (2026)

Task and Motion Planning in Hierarchical 3D Scene Graphs
by: Ray, Aaron, et al.
Published: (2024)

World-VLA-Loop: Closed-Loop Learning of Video World Model and VLA Policy
by: Liu, Xiaokang, et al.
Published: (2026)

OWMM-Agent: Open World Mobile Manipulation With Multi-modal Agentic Data Synthesis
by: Chen, Junting, et al.
Published: (2025)

Multi-User Personalisation in Human-Robot Interaction: Resolving Preference Conflicts Using Gradual Argumentation
by: Civit, Aniol, et al.
Published: (2025)

Real-Time Synchronized Interaction Framework for Emotion-Aware Humanoid Robots
by: Chen, Yanrong, et al.
Published: (2026)

LTL-Constrained Policy Optimization with Cycle Experience Replay
by: Shah, Ameesh, et al.
Published: (2024)

Semantic Risk-Aware Heuristic Planning for Robotic Navigation in Dynamic Environments: An LLM-Inspired Approach
by: Durrani, Hamza Ahmed, et al.
Published: (2026)

Motion Perceiver: Real-Time Occupancy Forecasting for Embedded Systems
by: Ferenczi, Bryce, et al.
Published: (2023)

Real-Time Whole-Body Teleoperation of a Humanoid Robot Using IMU-Based Motion Capture with Sim2Sim and Sim2Real Validation
by: Durrani, Hamza Ahmed, et al.
Published: (2026)

Autonomous Robotic Swarms: A Corroborative Approach for Verification and Validation
by: Abeywickrama, Dhaminda B., et al.
Published: (2024)

Preventing Robotic Jailbreaking via Multimodal Domain Adaptation
by: Marchiori, Francesco, et al.
Published: (2025)

Computational methods for Dynamic Answer Set Programming
by: Hahn, Susana
Published: (2025)

Learning from Watching: Scalable Extraction of Manipulation Trajectories from Human Videos
by: Hu, X., et al.
Published: (2025)

Selective Progress-Aware Querying for Human-in-the-Loop Reinforcement Learning
by: Muraleedharan, Anujith, et al.
Published: (2025)

Task and Motion Planning for Execution in the Real
by: Pan, Tianyang, et al.
Published: (2024)

Scaling Long-Horizon Online POMDP Planning via Rapid State Space Sampling
by: Liang, Yuanchu, et al.
Published: (2024)

FORMICA: Decision-Focused Learning for Communication-Free Multi-Robot Task Allocation
by: Lopez, Antonio, et al.
Published: (2026)

DRAE: Dynamic Retrieval-Augmented Expert Networks for Lifelong Learning and Task Adaptation in Robotics
by: Long, Yayu, et al.
Published: (2025)

Real-Time Forecasting of Driver-Vehicle Dynamics on 3D Roads: a Deep-Learning Framework Leveraging Bayesian Optimisation
by: Paparusso, Luca, et al.
Published: (2021)

A New Wave in Robotics: Survey on Recent mmWave Radar Applications in Robotics
by: Harlow, Kyle, et al.
Published: (2023)

Magnet-Based Soft Robotic Skin Using a 3D-Printed Multi-Lattice Structure and CNN-Based Tactile Super-Resolution
by: Bang, Yunseong, et al.
Published: (2026)

Best of Sim and Real: Decoupled Visuomotor Manipulation via Learning Control in Simulation and Perception in Real
by: Huang, Jialei, et al.
Published: (2025)

Walk on Spheres for PDE-based Path Planning
by: Muchacho, Rafael I. Cabral, et al.
Published: (2024)

Harnessing Embodied Agents: Runtime Governance for Policy-Constrained Execution
by: Qin, Xue, et al.
Published: (2026)

PhAIL: A Real-Robot VLA Benchmark and Distributional Methodology
by: Arkhangelskiy, Sergey
Published: (2026)

Loading Ceramics: Visualising Possibilities of Robotics in Ceramics
by: Guljajeva, Varvara, et al.
Published: (2024)

Cooperative and Asynchronous Transformer-based Mission Planning for Heterogeneous Teams of Mobile Robots
by: Farjadnasab, Milad, et al.
Published: (2024)

Long-Reach Robotic Cleaning for Lunar Solar Arrays
by: Wang, Stanley, et al.
Published: (2026)

Industrial Robot Motion Planning with GPUs: Integration of cuRobo for Extended DOF Systems
by: Abuelsamen, Luai, et al.
Published: (2025)

Roadmaps with Gaps over Controllers: Achieving Efficiency in Planning under Dynamics
by: Sivaramakrishnan, Aravind, et al.
Published: (2023)

Lie Theory Based Optimization for Unified State Planning of Mobile Manipulators
by: Smith, William, et al.
Published: (2024)

Long-Reach Robotic Manipulation for Assembly and Outfitting of Lunar Structures
by: Wang, Stanley, et al.
Published: (2026)

Robotic Arm Manipulation with Inverse Reinforcement Learning & TD-MPC
by: Hassan, Md Shoyib, et al.
Published: (2024)

Reward Machines for Deep RL in Noisy and Uncertain Environments
by: Li, Andrew C., et al.
Published: (2024)

Ultra-Reduced-Impact-Encased-Logging (URIEL): propose a new method for selective sustainable logging and post-harvest silvicultural treatment in tropical forest using airborne robotics systems
by: Albiero, Daniel, et al.
Published: (2026)