ARCH-COMP20 Category Report: Stochastic Models
Abate, Alessandro; Blom, Henk; Cauchi, Nathalie; Delicaris, Joanna; Hartmanns, Arnd; Khaled, Mahmoud; Lavaei, Abolfazl; Pilch, Carina; Remke, Anne; Schupp, Stefan; Shmarov, Fedor; Soudjani, Sadegh; Vinod, Abraham; Wooding, Ben; Zamani, Majid; Zuliani, Paolo
Forschungsartikel in Sammelband (Konferenz) | Peer reviewedDetails zur Publikation
Herausgeber*innen: Frehse, Goran; Althoff, Matthias
Buchtitel: ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20)
Seitenbereich: 76-106
Verlag: EasyChair
Erscheinungsort: online
Titel der Reihe: EPiC Series in Computing (ISSN: 2398-7340)
Nr. in Reihe: 74
Status: Veröffentlicht
Veröffentlichungsjahr: 2020
Sprache, in der die Publikation verfasst ist: Englisch
Konferenz: ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems, online, Online
DOI: 10.29007/mqzc
Stichwörter: stochastic models
Autor*innen der Universität Münster
| da Silva, Carina | Professur für Praktische Informatik (Prof. Remke) |
| Delicaris, Joanna Georgia | Fachbereich 10 Mathematik und Informatik (FB10) |
| Remke, Anne | Professur für Praktische Informatik (Prof. Remke) |
| Schupp, Stefan Alexander | Professur für Praktische Informatik (Prof. Remke) |