:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Lin, Yuanfei, Xing, Zekun, Han, Xuyuan, Althoff, Matthias
Format:	Preprint
Published:	2024
Subjects:	Robotics Artificial Intelligence
Online Access:	https://arxiv.org/abs/2412.15837
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Model Predictive Robustness of Signal Temporal Logic Predicates
by: Lin, Yuanfei, et al.
Published: (2022)

SanDRA: Safe Large-Language-Model-Based Decision Making for Automated Vehicles Using Reachability Analysis
by: Lin, Yuanfei, et al.
Published: (2025)

Predictive Traffic Rule Compliance using Reinforcement Learning
by: Huang, Yanliang, et al.
Published: (2025)

Automatic Traffic Scenario Conversion from OpenSCENARIO to CommonRoad
by: Lin, Yuanfei, et al.
Published: (2023)

A Design Co-Pilot for Task-Tailored Manipulators
by: Külz, Jonathan, et al.
Published: (2025)

Persistent Autoregressive Mapping with Traffic Rules for Autonomous Driving
by: Liang, Shiyi, et al.
Published: (2025)

Neurosymbolic Language Reasoning as Satisfiability Modulo Theory
by: Oh, Hyunseok, et al.
Published: (2026)

Perception with Guarantees: Certified Pose Estimation via Reachability Analysis
by: Ladner, Tobias, et al.
Published: (2026)

DrPlanner: Diagnosis and Repair of Motion Planners for Automated Vehicles Using Large Language Models
by: Lin, Yuanfei, et al.
Published: (2024)

Language-Driven Interactive Traffic Trajectory Generation
by: Xia, Junkai, et al.
Published: (2024)

Shield Synthesis for LTL Modulo Theories
by: Rodriguez, Andoni, et al.
Published: (2024)

Leveraging Analytic Gradients in Provably Safe Reinforcement Learning
by: Walter, Tim, et al.
Published: (2025)

Satisfiability Modulo Theory Meets Inductive Logic Programming
by: Upreti, Nijesh, et al.
Published: (2025)

Online Context Learning for Socially Compliant Navigation
by: Okunevich, Iaroslav, et al.
Published: (2024)

A Trajectory Generator for High-Density Traffic and Diverse Agent-Interaction Scenarios
by: Yang, Ruining, et al.
Published: (2025)

Continuous Optimization for Satisfiability Modulo Theories on Linear Real Arithmetic
by: Cen, Yunuo, et al.
Published: (2026)

Verification of Neural Reachable Tubes via Scenario Optimization and Conformal Prediction
by: Lin, Albert, et al.
Published: (2023)

Holistic Construction Automation with Modular Robots: From High-Level Task Specification to Execution
by: Külz, Jonathan, et al.
Published: (2024)

DualShield: Safe Model Predictive Diffusion via Reachability Analysis for Interactive Autonomous Driving
by: Yang, Rui, et al.
Published: (2026)

Results of the 2024 CommonRoad Motion Planning Competition for Autonomous Vehicles
by: Huang, Yanliang, et al.
Published: (2025)

Conformal Reachability for Safe Control in Unknown Environments
by: Ma, Xinhang, et al.
Published: (2026)

Interaction-Aware Whole-Body Control for Compliant Object Transport
by: Zhang, Hao, et al.
Published: (2026)

Risk-aware Trajectory Prediction by Incorporating Spatio-temporal Traffic Interaction Analysis
by: Thuremella, Divya, et al.
Published: (2024)

Let Hybrid A* Path Planner Obey Traffic Rules: A Deep Reinforcement Learning-Based Planning Framework
by: Li, Xibo, et al.
Published: (2024)

Learning Diffusion Policies from Demonstrations For Compliant Contact-rich Manipulation
by: Aburub, Malek, et al.
Published: (2024)

TGRPO :Fine-tuning Vision-Language-Action Model via Trajectory-wise Group Relative Policy Optimization
by: Chen, Zengjue, et al.
Published: (2025)

Towards Bio-Inspired Robotic Trajectory Planning via Self-Supervised RNN
by: Cibula, Miroslav, et al.
Published: (2025)

Learning from Imperfect Demonstrations via Temporal Behavior Tree-Guided Trajectory Repair
by: Puranic, Aniruddh G., et al.
Published: (2026)

Collision- and Reachability-Aware Multi-Robot Control with Grounded LLM Planners
by: Ji, Jiabao, et al.
Published: (2025)

CalliRewrite: Recovering Handwriting Behaviors from Calligraphy Images without Supervision
by: Luo, Yuxuan, et al.
Published: (2024)

The Constitutional Controller: Doubt-Calibrated Steering of Compliant Agents
by: Kohaut, Simon, et al.
Published: (2025)

From Real-World Traffic Data to Relevant Critical Scenarios
by: Lüttner, Florian, et al.
Published: (2025)

Trajectory Entropy: Modeling Game State Stability from Multimodality Trajectory Prediction
by: Zhang, Yesheng, et al.
Published: (2025)

Test Automation for Interactive Scenarios via Promptable Traffic Simulation
by: Mondelli, Augusto, et al.
Published: (2025)

Learning What Can Be Picked: Active Reachability Estimation for Efficient Robotic Fruit Harvesting
by: Syeda, Nur Afsa, et al.
Published: (2026)

LLM-based Human-like Traffic Simulation for Self-driving Tests
by: Li, Wendi, et al.
Published: (2025)

Learning Tool-Aware Adaptive Compliant Control for Autonomous Regolith Excavation
by: Orsula, Andrej, et al.
Published: (2025)

SoftMimic: Learning Compliant Whole-body Control from Examples
by: Margolis, Gabriel B., et al.
Published: (2025)

Reachability Verification Based Reliability Assessment for Deep Reinforcement Learning Controlled Robotics and Autonomous Systems
by: Dong, Yi, et al.
Published: (2022)

Reachability Barrier Networks: Learning Hamilton-Jacobi Solutions for Smooth and Flexible Control Barrier Functions
by: Kim, Matthew, et al.
Published: (2025)