Skip to main content

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