Abate, A.,
Blom, H.,
Delicaris, J.,
Haesaert, S.,
Hartmanns, A.,
van Huijgevoort, B.,
Lavaei, A.,
Ma, H.,
Niehage, M.,
Remke, A.,
Schön, O.,
Schupp, S.,
Soudjani, S. &
Willemsen, L.,
13 Dec 2022,
Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22). Frehse, G., Althoff, M., Schoitsch, E. & Guiochet, J. (eds.).
EasyChair,
p. 113–141 29 p. (EPiC Series in Computing; vol. 90).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic