Mixed Integer Linear Programming
Partial Satisfaction of Signal Temporal Logic Specifications for Coordination of Multi-Robot Systems
A Control Architecture for Provably-Correct Autonomous Driving
Scalable and Robust Algorithms for Task-Based Coordination From High-Level Specifications (ScRATCHeS)
Probabilistic Coordination of Heterogeneous Teams From Capability Temporal Logic Specifications
Specifying User Preferences using Weighted Signal Temporal Logic
ScRATCHS: Scalable and Robust Algorithms for Task-Based Coordination from High-Level Specifications
Austin M Jones, Kevin Leahy, Cristian Ioan Vasile, Sadra Sadradinni, Zachary Serlin, Roberto Tron, and Calin Belta. Scalable and Robust Deployment of Heterogenenous Teams from Temporal Logic Specifications. In International Symposium on Robotics Research (ISRR), Hanoi, Vietnam, October 2019.