Accepted papers in April
Published Jun 27, 2022
The following papers from researchers at RPL has been accepted to various events this past month:
Bettina Könighofer, Roderick Bloem, Rüdiger Ehlers, and Christian Pek "Correct-by-Construction Runtime Enforcement in AI – A Survey" Accepted to Springer Lecture Notes in Computer Science