by Kristina PUZOVIC | Mar 9, 2020
On May 6, 2020, Abdel Lisser (Université Paris-Saclay – LRI, Laboratoire de Recherche en Informatique) ran a Seminar@SytemX on the following topic: “On chance constrained optimization”. This seminar was organized jointly with the Operations...
by Kristina PUZOVIC | Feb 10, 2020
Liliana Cucu-Grosjean (Equipe Kopernic – Inria Paris) will run a seminar at IRT SystemX on March 3rd on the following topic «Probabilistic and statistical approaches for proving time properties of cyber-physical systems» from 2pm to 3.30pm. Abstract : Since the...
by Kristina PUZOVIC | Dec 19, 2019
Domitile Lourdeaux (Université de technologie de Compiègne, Sorbonne Universités – CNRS Heudiasyc) ran a seminar at IRT SystemX on January 16th on the following topic« Scénarisation d’environnements virtuels pour l’entraînement en situation critique...
by Kristina PUZOVIC | Nov 25, 2019
Goran Frehse (ENSTA ParisTech) ran a seminar at IRT SystemX on February on the following topic « Formal Verification with Reachability » from 2pm to 3.30pm. Abstract : Ensuring the safety of dynamical systems in complex and uncertain environments is challenging. A...
by Kristina PUZOVIC | Oct 31, 2019
Nicolas Sabouret (Université Paris-Sud – LIMSI-CNRS) ran a seminar at IRT SystemX on September 17th on the following topic « Simuler l’humain » from 2pm to 3.30pm. Come to IRT SystemX Abstract (in French) : L’un des objectifs de l’Intelligence...