TY  - RPRT
TI  - Correct-by-Construction Runtime Enforcement in AI -- A Survey
AU  - Bettina Könighofer
AU  - Roderick Bloem
AU  - Rüdiger Ehlers
AU  - Christian Pek
PY  - 2022
UR  - https://arxiv.org/abs/2208.14426
ID  - 2208.14426
ER  -