Learning that Grid-Convenience Does Not Hurt Resilience in the Presence of Uncertainty
Niehage, Mathis; Remke, Anne
Forschungsartikel in Sammelband (Konferenz) | Peer reviewedDetails zur Publikation
Herausgeber*innen: Bogomolov, Sergiy; Parker, David
Buchtitel: Formal Modeling and Analysis of Timed Systems - 20th International Conference, FORMATS 2022, Warsaw, Poland, September 13–15, 2022, Proceedings
Seitenbereich: 298-306
Verlag: Springer
Erscheinungsort: Warsaw, Poland
Titel der Reihe: Lecture Notes in Computer Science
Nr. in Reihe: 13465
Status: Veröffentlicht
Veröffentlichungsjahr: 2022
Sprache, in der die Publikation verfasst ist: Englisch
Konferenz: Formal Modeling and Analysis of Timed Systems - 20th International Conference, FORMATS 2022, Warsaw, Poland, September 13–15, 2022, Warsaw, Polen
ISBN: 978-3-031-15838-4
Stichwörter: stochastic hybrid model, resilience, case study
Autor*innen der Universität Münster
| Niehage, Mathis Friedrich | Professur für Praktische Informatik (Prof. Remke) |
| Remke, Anne | Professur für Praktische Informatik (Prof. Remke) |