Online Shielding for Stochastic Systems

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

*Korrespondierende/r Autor/in für diese Arbeit

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem Konferenzband

Originalspracheenglisch
TitelNASA Formal Methods
PublikationsstatusAngenommen/In Druck - 2021
Veranstaltung13th NASA Formal Methods Symposium - Houston, Virtuell, USA / Vereinigte Staaten
Dauer: 24 Mai 202128 Mai 2021

Konferenz

Konferenz13th NASA Formal Methods Symposium
KurztitelNFM 20
LandUSA / Vereinigte Staaten
OrtVirtuell
Zeitraum24/05/2128/05/21

Dieses zitieren