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

{{page>.:indexheader}}

\\ ==== Next talks ====
[[en:seminaires:verif:index|Verification]]\\
Monday April 29, 2024, 11AM, 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-2332">{{icon>info-circle?lg&color=#777}}</button>\\
<collapse id="b11-2332" 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>


[[en:seminaires:verif:index|Verification]]\\
Monday May 6, 2024, 11AM, 3052 and [[https://u-paris.zoom.us/j/89886269671?pwd=QlgvOVBmdjZTVGZqamdOWVdSWWU5UT09|Zoom link]]\\
**Giovanni Bernardi** (IRIF) //To be announced.//
\\


[[en:seminaires:verif:index|Verification]]\\
Monday May 27, 2024, 11AM, 3052 and [[https://u-paris.zoom.us/j/89886269671?pwd=QlgvOVBmdjZTVGZqamdOWVdSWWU5UT09|Zoom link]]\\
**Nicolas Amat** (IMDEA) //To be announced.//
\\


\\ ==== Previous talks ====
\\ === Year 2024 ===

{{page>.:verif2024}}

\\ === Year 2023 ===

{{page>.:verif2023}}

\\ === Year 2022 ===

{{page>.:verif2022}}

\\ === Year 2021 ===

{{page>.:verif2021}}

\\ === Year 2020 ===

{{page>.:verif2020}}

\\ === Year 2019 ===

{{page>.:verif2019}}

\\ === Year 2018 ===

{{page>.:verif2018}}

\\ === Year 2017 ===

{{page>.:verif2017}}

\\ === Year 2016 ===

{{page>.:verif2016}}