Generalized Mean Robustness for Signal Temporal Logic
Journal
Planning for Heterogeneous Teams of Robots with Temporal Logic, Capability, and Resource Constraints
Overcoming Exploration: Deep Reinforcement Learning for Continuous Control in Cluttered Environments from Temporal Logic Specifications
Scalable and Robust Algorithms for Task-Based Coordination From High-Level Specifications (ScRATCHeS)
Fast Decomposition of Temporal Logic Specifications for Heterogeneous Teams
Probabilistic Coordination of Heterogeneous Teams From Capability Temporal Logic Specifications
Learning An Explainable Trajectory Generator Using The Automaton Generative Network (AGN)
Vehicle Trajectory Prediction Using Generative Adversarial Network With Temporal Logic Syntax Tree Features
Specifying User Preferences using Weighted Signal Temporal Logic
Reactive Sampling-Based Path Planning with Temporal Logic Specifications
Pages
