The rapid progress in artificial intelligence and machine learning has lead to the deployment of AI-based systems in a number of areas of modern life, such as manufacturing, transportation, and healthcare. However, serious concerns about the safety and trustworthiness of such systems still remain, due to the lack of assurance regarding their behavior. To address this problem, significant efforts in the area of formal methods in recent years have been dedicated to the development of rigorous techniques for the design of safe AI-based systems.
In this seminar, we will read and discuss research papers that present the latest results in this area. We will cover a range of topics, including the formal specification and verification of correctness properties of AI components of autonomous systems, and the design of reinforcement learning agents that respect safety constraints.
Each participant will give a presentation of an assigned paper, followed by a group discussion. All students are expected to read each paper carefully and to actively participate in the discussions.
Time: Mondays, 14:30 - 16:00
Venue: All meetings will be virtual, via Zoom (Disclaimer).
Participation in all meetings is mandatory (exceptions require an official document, such as a doctor's certificate).
29 October, 16:15 Kick-off meeting (participation is strictly required); the Zoom link has been communicated via email.
4 November, 18:00 Deadline for paper preference registration
5 November, 18:00 Release of paper assignment
25 February, 18:00 Deadline for submission of draft summary of the presented paper
11 March, 18:00 Deadline for submission of final version of summary of presented paper
- 3 short reviews plus questions to the speaker: For 3 of the papers that will be discussed during the seminar (different from the paper that you will present) you will write a short (maximum 1 page) review that addresses the following questions:
- What is the problem addressed by the paper?
- What was done before, and how does the paper improve on previous work?
- What are the strengths and the limitations of the techniques in the paper?
- What part of the paper was difficult to understand?
- What are possible improvements or extensions of the techniques in the paper?
Each review is to be submitted before the meeting at which the paper will be presented and discussed.
In addition to your review you will have to submit 2 questions that you will ask to the presenter of the paper.
Each of the three reviews contributes 10% of your final grade.
- Presentation: You will prepare and deliver a 30 min presentation of the paper assigned to you. You will have the possibility to get feedback on your slides before the presentation.
The slides and presentation make up 40% of the final grade.
- Summary: After your presentation you will write a summary of the paper that you have presented, including a general overview of the topic and reflecting the group discussion.
The summary will make up 30% of the final grade.