Verification Series

Combining learning with formal synthesis

16th September 2022, 11:00 add to calender
Sadegh Souudjani
Newcastle University