:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Dang, Thao, Donzé, Alexandre, Haque, Inzemamul, Kekatos, Nikolaos, Saha, Indranil
Format:	Preprint
Published:	2024
Subjects:	Robotics Systems and Control
Online Access:	https://arxiv.org/abs/2403.16593
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Scaling Learning based Policy Optimization for Temporal Logic Tasks by Controller Network Dropout
by: Hashemi, Navid, et al.
Published: (2024)

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

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

Flow-Based Synthesis of Reactive Tests for Discrete Decision-Making Systems with Temporal Logic Specifications
by: Graebener, Josefine B., et al.
Published: (2024)

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

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

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

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

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

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