Accepterade publikationer i april
Publicerad 2022-06-27
Följande artiklar har blivit accepterade och publicerade denna månad:
-
Bettina Könighofer, Roderick Bloem, Rüdiger Ehlers, och Christian Pek "Correct-by-Construction Runtime Enforcement in AI – A Survey" Accepterad i Springer Lecture Notes in Computer Science