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 paper

Original language	English
Title of host publication	NASA Formal Methods
Publication status	Accepted/In press - 2021
Event	13th NASA Formal Methods Symposium - Houston, Virtuell, United States Duration: 24 May 2021 → 28 May 2021

Conference	13th NASA Formal Methods Symposium
Abbreviated title	NFM 20
Country	United States
City	Virtuell
Period	24/05/21 → 28/05/21

Cite this

@inproceedings{14debd3b268747b8ba8b0952603531d7,

title = "Online Shielding for Stochastic Systems",

author = "Bettina K{\"o}nighofer and Roderick Bloem and Martin Tappler and Julian Rudolf and Alexander Palmisano",

year = "2021",

language = "English",

booktitle = "NASA Formal Methods",

note = "13th NASA Formal Methods Symposium, NFM 20 ; Conference date: 24-05-2021 Through 28-05-2021",

}