ECC 2022 - 20th European Control Conference, London, UK
ICCAD'2021 - 5th International Conference on Control, Automation and Diagnosis, Grenoble, France
SCAN 2020 - 19th International Symposium on Scientific Computing, Computer Arithmetic, and Verified Numerical Computations (online)
SysID 2021 - 19th IFAC Symposium System Identification: Learning models for decision and control - SYSID (online)
IFAC 2020 - IFAC World Congress 2020, Berlin, Germany (virtual)
ECC 2020 - European Control Conference 2020, St. Petersburg, Russia (virtual)
ECC 2020 - European Control Conference 2020, St. Petersburg, Russia (virtual)
Download the conference paper as a pdf file
Download the presentation as a pdf file
SNR 2020 - 6th International Workshop on Symbolic-Numeric Methods for Reasoning about CPS and IoT, August 2020
Halmstad University, Sweden, April 2019
Summer Workshop on Interval Methods SWIM’17, Manchester, UK, June 2017
Small Workshop on Interval Methods SWIM’13, Brest, France, June 2013