Cover Image

Validating Generalist Robots with Situation Calculus and STL Falsification

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Li, Changwen, Yan, Rongjie, Cheng, Chih-Hong, Zhang, Jian
Format:	Preprint
Published:	2026
Subjects:	Robotics Artificial Intelligence
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Robot Task Planning and Situation Handling in Open Worlds
by: Ding, Yan, et al.
Published: (2022)

Toward Generalist Neural Motion Planners for Robotic Manipulators: Challenges and Opportunities
by: Soleymanzadeh, Davood, et al.
Published: (2026)

Maestro: Orchestrating Robotics Modules with Vision-Language Models for Zero-Shot Generalist Robots
by: Shi, Junyao, et al.
Published: (2025)

RLDG: Robotic Generalist Policy Distillation via Reinforcement Learning
by: Xu, Charles, et al.
Published: (2024)

AutoEval: Autonomous Evaluation of Generalist Robot Manipulation Policies in the Real World
by: Zhou, Zhiyuan, et al.
Published: (2025)

Beyond Sight: Finetuning Generalist Robot Policies with Heterogeneous Sensors via Language Grounding
by: Jones, Joshua, et al.
Published: (2025)

A Taxonomy for Evaluating Generalist Robot Manipulation Policies
by: Gao, Jensen, et al.
Published: (2025)

RoboCasa: Large-Scale Simulation of Everyday Tasks for Generalist Robots
by: Nasiriany, Soroush, et al.
Published: (2024)

TraceVLA: Visual Trace Prompting Enhances Spatial-Temporal Awareness for Generalist Robotic Policies
by: Zheng, Ruijie, et al.
Published: (2024)

GR00T N1: An Open Foundation Model for Generalist Humanoid Robots
by: NVIDIA, et al.
Published: (2025)

ReasonSTL: Bridging Natural Language and Signal Temporal Logic via Tool-Augmented Process-Rewarded Learning
by: Ye, Bowen, et al.
Published: (2026)

Turning Video Models into Generalist Robot Policies
by: Li, Sizhe Lester, et al.
Published: (2026)

SIMA 2: A Generalist Embodied Agent for Virtual Worlds
by: SIMA team, et al.
Published: (2025)

RoboCasa365: A Large-Scale Simulation Framework for Training and Benchmarking Generalist Robots
by: Nasiriany, Soroush, et al.
Published: (2026)

LocoFormer: Generalist Locomotion via Long-context Adaptation
by: Liu, Min, et al.
Published: (2025)

Shortcut Learning in Generalist Robot Policies: The Role of Dataset Diversity and Fragmentation
by: Xing, Youguang, et al.
Published: (2025)

Explainable Neural Inverse Kinematics for Obstacle-Aware Robotic Manipulation: A Comparative Analysis of IKNet Variants
by: Chen, Sheng-Kai, et al.
Published: (2025)

SingingBot: An Avatar-Driven System for Robotic Face Singing Performance
by: Xu, Zhuoxiong, et al.
Published: (2026)

AgentStore: Scalable Integration of Heterogeneous Agents As Specialized Generalist Computer Assistant
by: Jia, Chengyou, et al.
Published: (2024)

Generalized Robot Learning Framework
by: Yan, Jiahuan, et al.
Published: (2024)

REALM: A Real-to-Sim Validated Benchmark for Generalization in Robotic Manipulation
by: Sedlacek, Martin, et al.
Published: (2025)

RoboLab: A High-Fidelity Simulation Benchmark for Analysis of Task Generalist Policies
by: Yang, Xuning, et al.
Published: (2026)

HiMoE-VLA: Hierarchical Mixture-of-Experts for Generalist Vision-Language-Action Policies
by: Du, Zhiying, et al.
Published: (2025)

Cooperative-Competitive Team Play of Real-World Craft Robots
by: Zhao, Rui, et al.
Published: (2026)

InternVLA-M1: A Spatially Guided Vision-Language-Action Framework for Generalist Robot Policy
by: Chen, Xinyi, et al.
Published: (2025)

OctoNav: Towards Generalist Embodied Navigation
by: Gao, Chen, et al.
Published: (2025)

Meta-Memory: Retrieving and Integrating Semantic-Spatial Memories for Robot Spatial Reasoning
by: Mao, Yufan, et al.
Published: (2025)

Embodied AI in Mobile Robots: Coverage Path Planning with Large Language Models
by: Kong, Xiangrui, et al.
Published: (2024)

We Choose to Go to Space: Agent-driven Human and Multi-Robot Collaboration in Microgravity
by: Xin, Miao, et al.
Published: (2024)

Embodiment-Aware Generalist Specialist Distillation for Unified Humanoid Whole-Body Control
by: Peng, Quanquan, et al.
Published: (2026)

OpenGo: An OpenClaw-Based Robotic Dog with Real-Time Skill Switching
by: Li, Hanbing, et al.
Published: (2026)

An LLM-Driven Closed-Loop Autonomous Learning Framework for Robots Facing Uncovered Tasks in Open Environments
by: Su, Hong
Published: (2026)

EMOTION: Expressive Motion Sequence Generation for Humanoid Robots with In-Context Learning
by: Huang, Peide, et al.
Published: (2024)

Incorporating Explanations into Human-Machine Interfaces for Trust and Situation Awareness in Autonomous Vehicles
by: Atakishiyev, Shahin, et al.
Published: (2024)

Is the House Ready For Sleeptime? Generating and Evaluating Situational Queries for Embodied Question Answering
by: Dorbala, Vishnu Sashank, et al.
Published: (2024)

PoseDiff: A Unified Diffusion Model Bridging Robot Pose Estimation and Video-to-Action Control
by: Zhang, Haozhuo, et al.
Published: (2025)

LACY: A Vision-Language Model-based Language-Action Cycle for Self-Improving Robotic Manipulation
by: Hong, Youngjin, et al.
Published: (2025)

IMPASTO: Integrating Model-Based Planning with Learned Dynamics Models for Robotic Oil Painting Reproduction
by: Wang, Yingke, et al.
Published: (2026)

A Survey on Robotics with Foundation Models: toward Embodied AI
by: Xu, Zhiyuan, et al.
Published: (2024)

ProgressVLA: Progress-Guided Diffusion Policy for Vision-Language Robotic Manipulation
by: Yan, Hongyu, et al.
Published: (2026)