arXiv AI By Sad{\i}k Bera Y\"uksel, Derya Aksaray

Specification-Aware Distribution Shaping for Robotics Foundation Models

Read the original on arXiv AI →

The paper introduces a specification‑aware action distribution optimization framework that enforces Signal Temporal Logic (STL) constraints during the execution of pretrained robotics foundation models without altering their parameters. At each decision step, the method minimally adjusts the action distribution to satisfy hard STL feasibility constraints by reasoning over the remaining horizon with forward dynamics propagation. The approach is validated in simulation using state‑of‑the‑art robotics foundation models across multiple environments and complex specifications.

Machine-generated by The Flow from the publisher's headline and feed description — not written or checked by a human. The full article lives at arXiv AI.

arXiv Machine Learning
Jun 24

Verifiable Foundation Models for Robot Safety

arXiv:2606. 23754v1 Announce Type: cross Abstract: Deploying foundation models for robot control raises a central challenge: the expressive power that enables rich, multimodal perception also makes these models opaque and difficult to analyze formally, rendering them intractable for existing verification tools.

By Davide Corsi, Kyungmin Kim, Roy Fox
arXiv AI
Jun 2

PEACE: A Planner-Executor Agent with Constraint Enforcement for UAVs

arXiv:2606. 00104v1 Announce Type: cross Abstract: Foundation models are increasingly used to drive autonomous systems, yet existing approaches either keep the model in a tight control loop, raising latency and hallucination risk, or compile natural language into opaque end-to-end policies that are hard to explain, constraint and require domain-specific datasets and fine-tuning.

By Erdem Uysal, Timo Kehrer, Sebastiano Panichella
arXiv AI
Oct 19

Unifying Embodied Foundation Models via a Model-to-Policy Formulation

The paper proposes a unified, architecture‑agnostic probabilistic framework for embodied foundation models using stochastic kernels. It defines these models through conditional output distributions and action‑realization kernels that together produce task‑conditioned robot policies. The framework links pretraining and post‑training phases to policy deployment, and is instantiated for OpenVLA and DreamZero, covering both autoregressive action‑token prediction and joint video‑action generation.

By Xinyi Hong, Mingyang Ren