Aghamov, R., Baier, C., Karimov, T., Ouaknine, J. & Piribauer, J., 14 May 2024, HSCC 2024 - Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2024, part of CPS-IoT Week.Association for Computing Machinery, Inc, p. 22:1-22:1111 p. 22. (CPSWeek: Cyber-physical Systems).
Research output: Contribution to book/conference proceedings/anthology/report › Conference contribution › Contributed › peer-review