MILP implementation described in Time-Robust Control for STL Specifications by Alëna Rodionova, Lars Lindemann, Manfred Morari and George J. Pappas, submitted to CDC 2021.

Multi-Agent Surveillance. Simulations are available here and here.

To replicate the experiments from the paper (folder tests), you will also need:

• MATLAB.
• YALMIP toolbox.
• Gurobi optimizer.
  • if you don't want to install Gurobi, you might use any other solver you prefer (mosek, for instance). Computation times might change.