Mixed Integer Linear Programming Approach for Control Synthesis with Weighted Signal Temporal Logic

Gustavo A. Cardona, Disha Kamale, Cristian-Ioan Vasile
May, 2023
Cite DOI URL
Type
Conference paper
Publication
Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control