Browse by Author

Conference Paper

Liu, S and Saoud, A and Jagtap, P and Dimarogonas, DV and Zamani, M (2022) Compositional Synthesis of Signal Temporal Logic Tasks via Assume-Guarantee Contracts. In: Proceedings of the IEEE Conference on Decision and Control, 6 - 9 December 2022, Cancun, pp. 2184-2189.