Copertina

Traffic-Rule-Compliant Trajectory Repair via Satisfiability Modulo Theories and Reachability Analysis

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Lin, Yuanfei, Xing, Zekun, Han, Xuyuan, Althoff, Matthias
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Robotics Artificial Intelligence
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Trajectory Conditioned Cross-embodiment Skill Transfer
di: Tang, YuHang, et al.
Pubblicazione: (2025)

BEV-VLM: Trajectory Planning via Unified BEV Abstraction
di: Chen, Guancheng, et al.
Pubblicazione: (2025)