Copertina

Counter-example guided Imitation Learning of Feedback Controllers from Temporal Logic Specifications

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Dang, Thao, Donzé, Alexandre, Haque, Inzemamul, Kekatos, Nikolaos, Saha, Indranil
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Robotics Systems and Control
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Feedback Motion Planning for Stochastic Nonlinear Systems with Signal Temporal Logic Specifications
di: Ma, Liqian, et al.
Pubblicazione: (2026)

Zonotope-based Symbolic Controller Synthesis for Linear Temporal Logic Specifications
di: Ren, Wei, et al.
Pubblicazione: (2024)

Safe Human-to-Humanoid Motion Imitation Using Control Barrier Functions
di: Cai, Wenqi, et al.
Pubblicazione: (2026)

RRT* Based Optimal Trajectory Generation with Linear Temporal Logic Specifications under Kinodynamic Constraints
di: Gautam, Saksham, et al.
Pubblicazione: (2024)

Imitation Learning for Satellite Attitude Control under Unknown Perturbations
di: Zhang, Zhizhuo, et al.
Pubblicazione: (2025)

Reactive Temporal Logic-based Planning and Control for Interactive Robotic Tasks
di: Nawaz, Farhad, et al.
Pubblicazione: (2024)

Ternary Logic Encodings of Temporal Behavior Trees with Application to Control Synthesis
di: Matheu, Ryan, et al.
Pubblicazione: (2026)

Frugal Actor-Critic: Sample Efficient Off-Policy Deep Reinforcement Learning Using Unique Experiences
di: Singh, Nikhil Kumar, et al.
Pubblicazione: (2024)

DAG-STL: A Hierarchical Framework for Zero-Shot Trajectory Planning under Signal Temporal Logic Specifications
di: Liu, Ruijia, et al.
Pubblicazione: (2026)

Feasibility-aware Hybrid Control for Motion Planning under Signal Temporal Logics
di: Rousseas, Panagiotis, et al.
Pubblicazione: (2026)

LLM-Enabled Low-Altitude UAV Natural Language Navigation via Signal Temporal Logic Specification Translation and Repair
di: Ping, Yuqi, et al.
Pubblicazione: (2026)

Safety-Guaranteed Imitation Learning from Nonlinear Model Predictive Control for Spacecraft Close Proximity Operations
di: Meinert, Alexander, et al.
Pubblicazione: (2026)

Safe Planning through Incremental Decomposition of Signal Temporal Logic Specifications
di: Kapoor, Parv, et al.
Pubblicazione: (2024)

Safe and Optimal Learning from Preferences via Weighted Temporal Logic with Applications in Robotics and Formula 1
di: Karagulle, Ruya, et al.
Pubblicazione: (2025)

Force Generative Imitation Learning: Bridging Position Trajectory and Force Commands through Control Technique
di: Sato, Hiroshi, et al.
Pubblicazione: (2026)

Temporal Logic Imitation: Learning Plan-Satisficing Motion Policies from Demonstrations
di: Wang, Yanwei, et al.
Pubblicazione: (2022)

Soft and Rigid Object Grasping With Cross-Structure Hand Using Bilateral Control-Based Imitation Learning
di: Yamane, Koki, et al.
Pubblicazione: (2023)

Risk-Aware Autonomous Driving with Linear Temporal Logic Specifications
di: Qi, Shuhao, et al.
Pubblicazione: (2024)

Distributionally Robust Predictive Runtime Verification under Spatio-Temporal Logic Specifications
di: Zhao, Yiqi, et al.
Pubblicazione: (2025)

Ensuring Safety at Intelligent Intersections: Temporal Logic Meets Reachability Analysis
di: Arfvidsson, Kaj Munhoz, et al.
Pubblicazione: (2024)

Signal Temporal Logic Motion Planning via Graphs of Convex Sets
di: Chen, Yu, et al.
Pubblicazione: (2026)

Learning Lyapunov-Stable Polynomial Dynamical Systems through Imitation
di: Abyaneh, Amin, et al.
Pubblicazione: (2023)

Safety Verification and Navigation for Autonomous Vehicles based on Signal Temporal Logic Constraints
di: Parameshwaran, Aditya, et al.
Pubblicazione: (2024)

Motion Planning with Metric Temporal Logic Using Reachability Analysis and Hybrid Zonotopes
di: Thompson, Andrew F., et al.
Pubblicazione: (2026)

SAGAS: Semantic-Aware Graph-Assisted Stitching for Offline Temporal Logic Planning
di: Liu, Ruijia, et al.
Pubblicazione: (2025)

A Digital Twin prototype for traffic sign recognition of a learning-enabled autonomous vehicle
di: AbdElSalam, Mohamed, et al.
Pubblicazione: (2024)

Task-Parameter Nexus: Task-Specific Parameter Learning for Model-Based Control
di: Cheng, Sheng, et al.
Pubblicazione: (2024)

STLGame: Signal Temporal Logic Games in Adversarial Multi-Agent Systems
di: Yang, Shuo, et al.
Pubblicazione: (2024)

STLCCP: Efficient Convex Optimization-based Framework for Signal Temporal Logic Specifications
di: Takayama, Yoshinari, et al.
Pubblicazione: (2023)

On Feedback Speed Control for a Planar Tracking
di: Li, Xincheng, et al.
Pubblicazione: (2026)

On the Feedback Law in Stochastic Optimal Nonlinear Control
di: Mohamed, Mohamed Naveed Gul, et al.
Pubblicazione: (2020)

Guaranteed Completion of Complex Tasks via Temporal Logic Trees and Hamilton-Jacobi Reachability
di: Jiang, Frank J., et al.
Pubblicazione: (2024)

Efficient Coordination and Synchronization of Multi-Robot Systems Under Recurring Linear Temporal Logic
di: Peron, Davide, et al.
Pubblicazione: (2025)

Bridging Perception and Planning: Towards End-to-End Planning for Signal Temporal Logic Tasks
di: Ye, Bowen, et al.
Pubblicazione: (2025)

Trajectory Planning with Signal Temporal Logic Costs using Deterministic Path Integral Optimization
di: Halder, Patrick, et al.
Pubblicazione: (2025)

ZipMPC: Compressed Context-Dependent MPC Cost via Imitation Learning
di: Rickenbach, Rahel, et al.
Pubblicazione: (2025)

Deep Equivariant Multi-Agent Control Barrier Functions
di: Bousias, Nikolaos, et al.
Pubblicazione: (2025)

Learning Safe Control via On-the-Fly Bandit Exploration
di: Capone, Alexandre, et al.
Pubblicazione: (2025)

Scalable Multi-Robot Task Allocation and Coordination under Signal Temporal Logic Specifications
di: Liu, Wenliang, et al.
Pubblicazione: (2025)

Fuzzy Logic Controller Design for Mobile Robot Outdoor Navigation
di: Wondosen, Assefinew, et al.
Pubblicazione: (2024)