ePrints

ARCH-COMP21 Category Report: Stochastic Models

Lookup NU author(s): Dr Abolfazl Lavaei, Dr Fedor ShmarovORCiD, Dr Sadegh SoudjaniORCiD, Dr Paolo Zuliani

Downloads

• Published version [.pdf]

Licence

This work is licensed under a Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License (CC BY-NC-ND).

Publication metadata

Author(s): Abate A, Blom H, Bouissou M, Cauchi N, Chraibi H, Delicaris J, Haesaert S, Hartmanns A, Khaled M, Lavaei A, Ma H, Mallik K, Niehage M, Remke A, Schupp S, Shmarov F, Soudjani S, Thorpe A, Turcuman V, Zuliani P

Editor(s): Frehse G; Althoff M

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH)

Year of Conference: 2021

Pages: 55-89

Online publication date: 06/12/2021

Acceptance date: 01/07/2021

Date deposited: 11/04/2025

Publisher: EasyChair Publications

URL: https://doi.org/10.29007/dprv

DOI: 10.29007/dprv

Series Title: EPiC Series in Computing

Share