Optimal Control Synthesis with Relaxed Global Temporal Logic Specifications for Homogeneous Multi-robot Teams
Mixed Integer Linear Programming
An Iterative Approach for Heterogeneous Multi-Agent Route Planning with Temporal Logic Goals and Travel Duration Uncertainty
Energy-Constrained Active Exploration Under Incremental-Resolution Symbolic Perception
Preferences on Partial Satisfaction using Weighted Signal Temporal Logic Specifications
Mixed Integer Linear Programming Approach for Control Synthesis with Weighted Signal Temporal Logic
Rewrite-Based Decomposition of Signal Temporal Logic Specifications
Planning for Heterogeneous Teams of Robots with Temporal Logic, Capability, and Resource Constraints
Planning for Modular Aerial Robotic Tools with Temporal Logic Constraints
Partial Satisfaction of Signal Temporal Logic Specifications for Coordination of Multi-Robot Systems
A Control Architecture for Provably-Correct Autonomous Driving
Pages
