Gustavo A. Cardona, Disha Kamale, Cristian Ioan Vasile. Mixed Integer Linear Programming Approach for Control Synthesis with Weighted Signal Temporal Logic. In Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2023, San Antonio, TX, USA, May 9-12, 2023. ACM, 2023. [doi]
Abstract is missing.