Saha, S., & Julius, A. A. (2016, July). An MILP approach for real-time optimal controller synthesis with Metric Temporal Logic specifications. Proceedings of the American Control Conference, 1105-1110. https://doi.org/10.1109/ACC.2016.7525063
Chicago-Zitierstil (17. Ausg.)Saha, Sayan, und A. Agung Julius. "An MILP Approach for Real-time Optimal Controller Synthesis with Metric Temporal Logic Specifications." Proceedings of the American Control Conference Jul. 2016: 1105-1110. https://doi.org/10.1109/ACC.2016.7525063.
MLA-Zitierstil (9. Ausg.)Saha, Sayan, und A. Agung Julius. "An MILP Approach for Real-time Optimal Controller Synthesis with Metric Temporal Logic Specifications." Proceedings of the American Control Conference, Jul. 2016, pp. 1105-1110, https://doi.org/10.1109/ACC.2016.7525063.