:: Library Catalog

Imagen de Portada

Guardado en:

Detalles Bibliográficos
Autores principales:	Dang, Thao, Donzé, Alexandre, Haque, Inzemamul, Kekatos, Nikolaos, Saha, Indranil
Formato:	Preprint
Publicado:	2024
Materias:	Robotics Systems and Control
Acceso en línea:	https://arxiv.org/abs/2403.16593
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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