Disha Kamale
Disha Kamale
Home
Research
Publications
CV
Contact
Light
Dark
Automatic
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
Cite
×