Browse by author
Lookup NU author(s): Dr Abolfazl Lavaei, Dr Fedor ShmarovORCiD, Dr Sadegh SoudjaniORCiD, Dr Paolo Zuliani
Full text for this publication is not currently held within this repository. Alternative links are provided below where available.
Author(s): Abate A, Blom H, Cauchi J, Delicaris J, Haesaert S, van Huijgevoort B, Lavaei A, Remke A, Schön O, Schupp S, Shmarov F, Soudjani S, Willemsen L, Zuliani P
Publication type: Conference Proceedings (inc. Abstract)
Publication status: Published
Conference Name: 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH), EPiC Series in Computing
Year of Conference: 2023
Pages: 126-150
Online publication date: 18/10/2023
Acceptance date: 17/07/2023
ISSN: 2398-7340
Publisher: EPiC Computing
URL: https://doi.org/10.29007/k7s6
DOI: 10.29007/k7s6
