TY  - RPRT
TI  - An MILP Approach for Real-time Optimal Controller Synthesis with Metric Temporal Logic Specifications
AU  - Sayan Saha
AU  - A. Agung Julius
PY  - 2016
UR  - https://arxiv.org/abs/1603.02650
ID  - 1603.02650
ER  -