Formal Methods for AI Safety Rayna Dimitrova


List of papers and paper preferences

Written: 05.11.2020 10:21 Written By: Rayna Dimitrova

Dear Students,

thank you all for attending the kick-off meeting today. I have added the list of papers, and you can find the slides under Information->Materials.

Please send me by email your 5 preferred papers (1: Highest preference, 5: lowest preference) by Sunday, 8th November, 23:59.

If you have any questions, please do not hesitate to get in touch.

Best wishes,




Privacy Policy | Legal Notice
If you encounter technical problems, please contact the administrators