~~NOCACHE~~
/* DO NOT EDIT THIS FILE               */
/* THIS FILE WAS GENERATED             */
/* EDIT THE FILE "indexheader" INSTEAD */
/* OR ACCESS THE DATABASE              */

{{page>.:indexheader}}

\\ ==== Prochaines séances ====
[[seminaires:verif:index|Vérification]]\\
Lundi 29 avril 2024, 11 heures, 3052 and [[https://u-paris.zoom.us/j/89886269671?pwd=QlgvOVBmdjZTVGZqamdOWVdSWWU5UT09|Zoom link]]\\
**Niklas Kochdumper** (IRIF) //Neural Network Verification using Polynomial Zonotopes//
<button type="link" size="xs" collapse="b11-2113">{{icon>info-circle?lg&color=#777}}</button>\\
<collapse id="b11-2113" collapsed="true">
<well size="sm">
Since artificial intelligence is nowadays also increasingly applied in safety-critical applications such as autonomous driving and human robot collaboration, there is an urgent need for approaches that can efficiently verify that the corresponding neural networks are safe. In general, verification tasks involving neural networks can be classified into the two groups open-loop verification and closed-loop verification. For open-loop verification one aims to prove certain properties of a standalone neural network, while for closed-loop verification the neural network acts as a controller for a dynamic system. This presentation demonstrates a novel verification technique that is based on a polynomial abstraction of the input-output-relation of the single neurons, which proves to be beneficial for both open- as well as closed-loop neural network verification.
</well>
</collapse>


[[seminaires:verif:index|Vérification]]\\
Lundi 6 mai 2024, 11 heures, 3052 and [[https://u-paris.zoom.us/j/89886269671?pwd=QlgvOVBmdjZTVGZqamdOWVdSWWU5UT09|Zoom link]]\\
**Giovanni Bernardi** (IRIF) //Non encore annoncé.//
\\


[[seminaires:verif:index|Vérification]]\\
Lundi 27 mai 2024, 11 heures, 3052 and [[https://u-paris.zoom.us/j/89886269671?pwd=QlgvOVBmdjZTVGZqamdOWVdSWWU5UT09|Zoom link]]\\
**Nicolas Amat** (IMDEA) //Non encore annoncé.//
\\


\\ ==== Séances passées ====
\\ === Année 2024 ===

{{page>.:verif2024}}

\\ === Année 2023 ===

{{page>.:verif2023}}

\\ === Année 2022 ===

{{page>.:verif2022}}

\\ === Année 2021 ===

{{page>.:verif2021}}

\\ === Année 2020 ===

{{page>.:verif2020}}

\\ === Année 2019 ===

{{page>.:verif2019}}

\\ === Année 2018 ===

{{page>.:verif2018}}

\\ === Année 2017 ===

{{page>.:verif2017}}

\\ === Année 2016 ===

{{page>.:verif2016}}