Image de couverture de livre

INPROVF: Leveraging Large Language Models to Repair High-level Robot Controllers from Assumption Violations

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Meng, Qian, Zhou, Jin Peng, Weinberger, Kilian Q., Kress-Gazit, Hadas
Format:	Preprint
Publié:	2025
Sujets:	Robotics Artificial Intelligence Formal Languages and Automata Theory Systems and Control
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Resource-Constrained Robotic Planning in the face of Mixed Uncertainty
par: Yin, Yihao, et autres
Publié: (2026)

Automated Robot Recovery from Assumption Violations of High-Level Specifications
par: Meng, Qian, et autres
Publié: (2024)

Neuro-Symbolic Generation of Explanations for Robot Policies with Weighted Signal Temporal Logic
par: Yuasa, Mikihisa, et autres
Publié: (2025)

LAD-VF: LLM-Automatic Differentiation Enables Fine-Tuning-Free Robot Planning from Formal Methods Feedback
par: Yang, Yunhao, et autres
Publié: (2025)

Behavior Trees vs Executable Ontologies: a Comparative Analysis of Robot Control Paradigms
par: Boldachev, Alexander
Publié: (2025)

The Trembling-Hand Problem for LTLf Planning
par: Yu, Pian, et autres
Publié: (2024)

Learning specifications for reactive synthesis with safety constraints
par: Watanabe, Kandai, et autres
Publié: (2026)

Motion Planning for Automata-based Objectives using Efficient Gradient-based Methods
par: Balakrishnan, Anand, et autres
Publié: (2024)

LTL-D*: Incrementally Optimal Replanning for Feasible and Infeasible Tasks in Linear Temporal Logic Specifications
par: Ren, Jiming, et autres
Publié: (2024)

Autonomous Task Planning for Heterogeneous Multi-Agent Systems
par: Tziola, Anatoli A., et autres
Publié: (2022)

An Iterative Approach for Heterogeneous Multi-Agent Route Planning with Resource Transportation Uncertainty and Temporal Logic Goals
par: Cardona, Gustavo A., et autres
Publié: (2025)

AS2FM: Enabling Statistical Model Checking of ROS 2 Systems for Robust Autonomy
par: Henkel, Christian, et autres
Publié: (2025)

Planning with Linear Temporal Logic Specifications: Handling Quantifiable and Unquantifiable Uncertainty
par: Yu, Pian, et autres
Publié: (2025)

Optimization-based Task and Motion Planning under Signal Temporal Logic Specifications using Logic Network Flow
par: Lin, Xuan, et autres
Publié: (2024)

Robust MITL planning under uncertain navigation times
par: Linard, Alexis, et autres
Publié: (2024)

Safe Networked Robotics with Probabilistic Verification
par: Narasimhan, Sai Shankar, et autres
Publié: (2023)

SELP: Generating Safe and Efficient Task Plans for Robot Agents with Large Language Models
par: Wu, Yi, et autres
Publié: (2024)

Simultaneous Task Allocation and Planning for Multi-Robots under Hierarchical Temporal Logic Specifications
par: Luo, Xusheng, et autres
Publié: (2024)

Scalable Multi-Robot Task Allocation and Coordination under Signal Temporal Logic Specifications
par: Liu, Wenliang, et autres
Publié: (2025)

Adaptive Bi-Level Multi-Robot Task Allocation and Learning under Uncertainty with Temporal Logic Constraints
par: Lin, Xiaoshan, et autres
Publié: (2025)

Joint Verification and Refinement of Language Models for Safety-Constrained Planning
par: Yang, Yunhao, et autres
Publié: (2024)

Exploiting Assumptions for Effective Monitoring of Real-Time Properties under Partial Observability
par: Cimatti, Alessandro, et autres
Publié: (2024)

Synthesis of State-Attack Strategies for Anonymity and Opacity Violation in Discrete Event Systems
par: Li, Xiaoyan, et autres
Publié: (2025)

Flow-Based Synthesis of Reactive Tests for Discrete Decision-Making Systems with Temporal Logic Specifications
par: Graebener, Josefine B., et autres
Publié: (2024)

Automatic Traffic Scenario Conversion from OpenSCENARIO to CommonRoad
par: Lin, Yuanfei, et autres
Publié: (2023)

Temporal Logic Guided Safe Navigation for Autonomous Vehicles
par: Parameshwaran, Aditya, et autres
Publié: (2025)

Active Reward Machine Inference From Raw State Trajectories
par: Shehab, Mohamad Louai, et autres
Publié: (2026)

STLCCP: Efficient Convex Optimization-based Framework for Signal Temporal Logic Specifications
par: Takayama, Yoshinari, et autres
Publié: (2023)

Risk-Aware Autonomous Driving with Linear Temporal Logic Specifications
par: Qi, Shuhao, et autres
Publié: (2024)

TR2MTL: LLM based framework for Metric Temporal Logic Formalization of Traffic Rules
par: Manas, Kumar, et autres
Publié: (2024)

Signal Temporal Logic Meets Convex-Concave Programming: A Structure-Exploiting SQP Algorithm for STL Specifications
par: Takayama, Yoshinari, et autres
Publié: (2023)

A Verification Methodology for Safety Assurance of Robotic Autonomous Systems
par: Adam, Mustafa, et autres
Publié: (2025)

Syntax Repair as Language Intersection
par: Considine, Breandan
Publié: (2025)

TeLoGraF: Temporal Logic Planning via Graph-encoded Flow Matching
par: Meng, Yue, et autres
Publié: (2025)

Admissibility Over Winning: A New Approach to Reactive Synthesis in Robotics
par: Muvvala, Karan, et autres
Publié: (2024)

A Formal Modular Synthesis Approach for the Coordination of 3-D Robotic Construction with Multi-robots
par: Rosa, Marcelo, et autres
Publié: (2025)

Learning Conservative Neural Control Barrier Functions from Offline Data
par: Tabbara, Ihab, et autres
Publié: (2025)

Fine-Tuning Language Models Using Formal Methods Feedback
par: Yang, Yunhao, et autres
Publié: (2023)

Towards A Catalogue of Requirement Patterns for Space Robotic Missions
par: Etumi, Mahdi, et autres
Publié: (2025)

Formal Evidence Generation for Assurance Cases for Robotic Software Models
par: Yan, Fang, et autres
Publié: (2026)