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:11 11 p. 22. (CPSWeek: Cyber-physical Systems).
Research output: Contribution to book/Conference proceedings/Anthology/Report › Conference contribution › Contributed › peer-review