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 proceedingConference paper

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 202128 May 2021

Conference

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

Cite this