:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Kamale, Disha, Vasile, Cristian-Ioan
Format:	Preprint
Published:	2024
Subjects:	Robotics
Online Access:	https://arxiv.org/abs/2406.01848
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

A*-based Temporal Logic Path Planning with User Preferences on Relaxed Task Satisfaction
by: Kamale, Disha, et al.
Published: (2025)

Learning Optimal Signal Temporal Logic Decision Trees for Classification: A Max-Flow MILP Formulation
by: Liang, Kaier, et al.
Published: (2024)

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

An Iterative Approach for Heterogeneous Multi-Agent Route Planning with Resource Transportation Uncertainty and Temporal Logic Goals
by: Cardona, Gustavo A., et al.
Published: (2025)

Differentiable SpaTiaL: Symbolic Learning and Reasoning with Geometric Temporal Logic for Manipulation Tasks
by: Luo, Licheng, et al.
Published: (2026)

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

STL-SVPIO: Signal Temporal Logic guided Stein Variational Path Integral Optimization
by: Zheng, Hongrui, et al.
Published: (2026)

Safe Navigation in Dynamic Environments Using Data-Driven Koopman Operators and Conformal Prediction
by: Liang, Kaier, et al.
Published: (2025)

Time-aware Motion Planning in Dynamic Environments with Conformal Prediction
by: Liang, Kaier, et al.
Published: (2025)

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

Control Barrier Function for Linearizable Systems with High Relative Degrees from Signal Temporal Logics: A Reference Governor Approach
by: Liang, Kaier, et al.
Published: (2023)

TLINet: Differentiable Neural Network Temporal Logic Inference
by: Li, Danyang, et al.
Published: (2024)

Control Synthesis from Linear Temporal Logic Specifications using Model-Free Reinforcement Learning
by: Bozkurt, Alper Kamil, et al.
Published: (2019)

Scaling Safe Multi-Agent Control for Signal Temporal Logic Specifications
by: Eappen, Joe, et al.
Published: (2025)

A Fast Semidefinite Convex Relaxation for Optimal Control Problems With Spatio-Temporal Constraints
by: Dong, Shiying, et al.
Published: (2026)

UMBRELLA: Uncertainty-aware Multi-robot Reactive Coordination under Dynamic Temporal Logic Tasks
by: Zhao, Qisheng, et al.
Published: (2026)

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

MAPS$^2$: Multi-Robot Autonomous Motion Planning under Signal Temporal Logic Specifications
by: Sewlia, Mayank, et al.
Published: (2023)

BehaVerify: Verifying Temporal Logic Specifications for Behavior Trees
by: Serbinowska, Serena S., et al.
Published: (2022)

Counter-example guided Imitation Learning of Feedback Controllers from Temporal Logic Specifications
by: Dang, Thao, et al.
Published: (2024)

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

LTL-D*: Incrementally Optimal Replanning for Feasible and Infeasible Tasks in Linear Temporal Logic Specifications
by: Ren, Jiming, et al.
Published: (2024)

Motion Planning Under Temporal Logic Specifications In Semantically Unknown Environments
by: Taheri, Azizollah, et al.
Published: (2025)

Exact Smooth Reformulations for Trajectory Optimization Under Signal Temporal Logic Specifications
by: Han, Shaohang, et al.
Published: (2025)

Toward Globally Optimal State Estimation Using Automatically Tightened Semidefinite Relaxations
by: Dümbgen, Frederike, et al.
Published: (2023)

Cognitive Load-based Affective Workload Allocation for Multi-human Multi-robot Teams
by: Jo, Wonse, et al.
Published: (2023)

Autonomous Vehicles Path Planning under Temporal Logic Specifications
by: Dhonthi, Akshay, et al.
Published: (2024)

Decomposition-based Hierarchical Task Allocation and Planning for Multi-Robots under Hierarchical Temporal Logic Specifications
by: Luo, Xusheng, et al.
Published: (2023)

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

Globally Optimal Data-Association-Free Landmark-Based Localization Using Semidefinite Relaxations
by: Korotkine, Vassili, et al.
Published: (2025)

Simultaneous Task Allocation and Planning for Multi-Robots under Hierarchical Temporal Logic Specifications
by: Luo, Xusheng, et al.
Published: (2024)

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

A Semantic Autonomy Framework for VLM-Integrated Indoor Mobile Robots: Hybrid Deterministic Reasoning and Cross-Robot Adaptive Memory
by: Abaza, Bogdan Felician, et al.
Published: (2026)

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

Signal Temporal Logic Compliant Co-design of Planning and Control
by: Juvvi, Manas Sashank, et al.
Published: (2025)

Multi-Cycle Spatio-Temporal Adaptation in Human-Robot Teaming
by: Cuellar, Alex, et al.
Published: (2026)

Planning with Linear Temporal Logic Specifications: Handling Quantifiable and Unquantifiable Uncertainty
by: Yu, Pian, et al.
Published: (2025)

STLCG++: A Masking Approach for Differentiable Signal Temporal Logic Specification
by: Kapoor, Parv, et al.
Published: (2025)

Multi-robot Motion Planning based on Nets-within-Nets Modeling and Simulation
by: Hustiu, Sofia, et al.
Published: (2023)

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