Browse by author
Lookup NU author(s): Dr Abolfazl Lavaei, Oliver Schoen, Dr Sadegh SoudjaniORCiD
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, 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
Editor(s): Goran Frehse, Matthias Althoff, Erwin Schoitsch and Jeremie Guiochet
Publication type: Conference Proceedings (inc. Abstract)
Publication status: Published
Conference Name: 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22)
Year of Conference: 2022
Pages: 113-141
Online publication date: 13/12/2022
Acceptance date: 01/07/2022
Publisher: EasyChair
URL: https://doi.org/10.29007/lsvc
DOI: 10.29007/lsvc
Series Title: EPiC Series in Computing
