ARCH-COMP21 Category Report: Stochastic Models

Abate Alessandro, Blom Henk, Bouissou Marc, Cauchi Nathalie, Chraibi Hassane, Delicaris Joanna, Haesaert Sofie, Hartmanns Arnd, Khaled Mahmoud, Lavaei Abolfazl, Ma Hao, Mallik Kaushik, Niehage Mathis, Remke Anne, Schupp Stefan, Shmarov Fedor, Soudjani Sadegh, Thorpe Adam, Turcuman Vlad, Zuliani Paolo

Research article in edited proceedings (conference)

Details zur Publikation

Book title: 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21)
Release year: 2021
Language in which the publication is written: English