Toggle Main Menu Toggle Search

Open Access padlockePrints

ARCH-COMP22 Category Report: Stochastic Models

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.

Publication metadata

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


DOI: 10.29007/lsvc

Series Title: EPiC Series in Computing