Image de couverture de livre

VernaCopter: Disambiguated Natural-Language-Driven Robot via Formal Specifications

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	van de Laar, Teun, Zhang, Zengjie, Qi, Shuhao, Haesaert, Sofie, Sun, Zhiyong
Format:	Preprint
Publié:	2024
Sujets:	Robotics Artificial Intelligence
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

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

Avoiding Deadlocks Is Not Enough: Analysis and Resolution of Blocked Airplanes
par: Qi, Shuhao, et autres
Publié: (2024)

Intention-Aware Control Based on Belief-Space Specifications and Stochastic Expansion
par: Zhang, Zengjie, et autres
Publié: (2024)

Towards a Formal Specification for Self-organized Shape Formation in Swarm Robotics
par: Darr, YR, et autres
Publié: (2025)

Sample-Efficient Reinforcement Learning with Symmetry-Guided Demonstrations for Robotic Manipulation
par: Enayati, Amir M. Soufi, et autres
Publié: (2023)

CLARA: Classifying and Disambiguating User Commands for Reliable Interactive Robotic Agents
par: Park, Jeongeun, et autres
Publié: (2023)

Integrating Disambiguation and User Preferences into Large Language Models for Robot Motion Planning
par: Abugurain, Mohammed, et autres
Publié: (2024)

Formal Control for Uncertain Systems via Contract-Based Probabilistic Surrogates (Extended Version)
par: Schön, Oliver, et autres
Publié: (2025)

Ontology-Driven Robotic Specification Synthesis
par: Figat, Maksym, et autres
Publié: (2026)

Masked IRL: LLM-Guided Reward Disambiguation from Demonstrations and Language
par: Hwang, Minyoung, et autres
Publié: (2025)

Enhancing Speech Instruction Understanding and Disambiguation in Robotics via Speech Prosody
par: Sasu, David, et autres
Publié: (2025)

Situation-Aware Interactive MPC Switching for Autonomous Driving
par: Qi, Shuhao, et autres
Publié: (2025)

Semantic-Geometric-Physical-Driven Robot Manipulation Skill Transfer via Skill Library and Tactile Representation
par: Qi, Mingchao, et autres
Publié: (2024)

SPINE: Online Semantic Planning for Missions with Incomplete Natural Language Specifications in Unstructured Environments
par: Ravichandran, Zachary, et autres
Publié: (2024)

Natural Selection via Foundation Models for Soft Robot Evolution
par: Chen, Changhe, et autres
Publié: (2025)

NVP-HRI: Zero Shot Natural Voice and Posture-based Human-Robot Interaction via Large Language Model
par: Lai, Yuzhi, et autres
Publié: (2025)

Sensorimotor Self-Recognition in Multimodal Large Language Model-Driven Robots
par: Varela, Iñaki Dellibarda, et autres
Publié: (2025)

Reducing Latency in LLM-Based Natural Language Commands Processing for Robot Navigation
par: Pollini, Diego, et autres
Publié: (2025)

SymAware: A Software Development Framework for Trustworthy Multi-Agent Systems with Situational Awareness
par: Casablanca, Ernesto, et autres
Publié: (2024)

Bridging Scale Discrepancies in Robotic Control via Language-Based Action Representations
par: Zhang, Yuchi, et autres
Publié: (2025)

Incremental Learning of Humanoid Robot Behavior from Natural Interaction and Large Language Models
par: Bärmann, Leonard, et autres
Publié: (2023)

Specification-Aware Distribution Shaping for Robotics Foundation Models
par: Yüksel, Sadık Bera, et autres
Publié: (2026)

LADEV: A Language-Driven Testing and Evaluation Platform for Vision-Language-Action Models in Robotic Manipulation
par: Wang, Zhijie, et autres
Publié: (2024)

Experiences from Benchmarking Vision-Language-Action Models for Robotic Manipulation
par: Zhang, Yihao, et autres
Publié: (2025)

MLLM-Fabric: Multimodal Large Language Model-Driven Robotic Framework for Fabric Sorting and Selection
par: Wang, Liman, et autres
Publié: (2025)

STEER: Flexible Robotic Manipulation via Dense Language Grounding
par: Smith, Laura, et autres
Publié: (2024)

PIP-LLM: Integrating PDDL-Integer Programming with LLMs for Coordinating Multi-Robot Teams Using Natural Language
par: Shi, Guangyao, et autres
Publié: (2025)

A Vehicle-in-the-Loop Simulator with AI-Powered Digital Twins for Testing Automated Driving Controllers
par: Zhang, Zengjie, et autres
Publié: (2025)

Using Natural Language for Human-Robot Collaboration in the Real World
par: Lindes, Peter, et autres
Publié: (2025)

Large Language Models for Robotics: A Survey
par: Zeng, Fanlong, et autres
Publié: (2023)

CubeRobot: Grounding Language in Rubik's Cube Manipulation via Vision-Language Model
par: Wang, Feiyang, et autres
Publié: (2025)

Safety Aware Task Planning via Large Language Models in Robotics
par: Khan, Azal Ahmad, et autres
Publié: (2025)

Transforming a Quadruped into a Guide Robot for the Visually Impaired: Formalizing Wayfinding, Interaction Modeling, and Safety Mechanism
par: Kim, J. Taery, et autres
Publié: (2023)

An LLM-powered Natural-to-Robotic Language Translation Framework with Correctness Guarantees
par: Chen, ZhenDong, et autres
Publié: (2025)

Topology-Driven Anti-Entanglement Control for Soft Robots
par: Le, Haoyang, et autres
Publié: (2026)

Large Reward Models: Generalizable Online Robot Reward Generation with Vision-Language Models
par: Wu, Yanru, et autres
Publié: (2026)

Robust Finetuning of Vision-Language-Action Robot Policies via Parameter Merging
par: Yadav, Yajat, et autres
Publié: (2025)

NatSGLD: A Dataset with Speech, Gesture, Logic, and Demonstration for Robot Learning in Natural Human-Robot Interaction
par: Shrestha, Snehesh, et autres
Publié: (2025)

Manual2Skill++: Connector-Aware General Robotic Assembly from Instruction Manuals via Vision-Language Models
par: Tie, Chenrui, et autres
Publié: (2025)

StyleLoco: Generative Adversarial Distillation for Natural Humanoid Robot Locomotion
par: Ma, Le, et autres
Publié: (2025)