curriculum
Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | Next revision Both sides next revision | ||
|
curriculum [2022/09/01 11:12] cani [Scientific Courses, period 2 (January - March)] |
curriculum [2022/09/01 13:14] scornet [Scientific Courses, period 2 (January - March)] |
||
|---|---|---|---|
| Line 35: | Line 35: | ||
| **INF641 - Introduction to the verification of neural networks (24h, 2 ECTS), Eric Goubault (EP), Sylvie Putot (EP)** (contact: sylvie.putot@polytechnique.edu) | **INF641 - Introduction to the verification of neural networks (24h, 2 ECTS), Eric Goubault (EP), Sylvie Putot (EP)** (contact: sylvie.putot@polytechnique.edu) | ||
| Neural networks are widely used in numerous applications including safety-critical ones such as control and planning for autonomous systems. A central question is how to verify that they are correct with respect to some specification. Beyond correctness or robustness, we are also interested in questions such as explainability and fairness, that can in turn be specified as formal verification problems. In this course, we will see how formal methods approaches introduced in the context of program verification can be leveraged to address the verification of neural networks. | Neural networks are widely used in numerous applications including safety-critical ones such as control and planning for autonomous systems. A central question is how to verify that they are correct with respect to some specification. Beyond correctness or robustness, we are also interested in questions such as explainability and fairness, that can in turn be specified as formal verification problems. In this course, we will see how formal methods approaches introduced in the context of program verification can be leveraged to address the verification of neural networks. | ||
| + | |||
| + | Or, instead of INF641, **INF657G - Navigation for Autonomous systems (24h, 2 ECTS), David Filliat (ENSTA)** (contact: david.filliat@ensta-paris.fr) | ||
| + | Drones and robots must create maps of their surroundings to plan their movement and navigate. This course presents the robotic platforms and the most common sensors (vision, Lidar, intertial units, odometry …) and the different components of navigation: control; obstacle avoidance; localization; mapping (SLAM) and trajectory planning as well as filtering (Kalman filter, particle filtering, etc.) and optimization techniques used in these fields. | ||
| **INF642 - Socio-emotional embodied conversational agents (24h, 2 ECTS), Catherine Pelachaud (CNRS - ISIR), Chloé Clavel (TelecomParistech) ** (contact: catherine.pelachaud@upmc.fr) | **INF642 - Socio-emotional embodied conversational agents (24h, 2 ECTS), Catherine Pelachaud (CNRS - ISIR), Chloé Clavel (TelecomParistech) ** (contact: catherine.pelachaud@upmc.fr) | ||
curriculum.txt · Last modified: 2023/06/22 18:41 by scornet
Page Tools
