Online Shielding for Stochastic Systems

Bettina Könighofer*, Roderick Bloem, Martin Tappler, Julian Rudolf, Alexander Palmisano

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original languageEnglish
Title of host publicationNASA Formal Methods
Publication statusAccepted/In press - 2021
Event13th NASA Formal Methods Symposium - Houston, Virtuell, United States
Duration: 24 May 2021 → 28 May 2021

Conference

Conference13th NASA Formal Methods Symposium
Abbreviated titleNFM 20
CountryUnited States
CityVirtuell
Period24/05/21 → 28/05/21

Cite this