Aller au contenu principal
FR

Pierre-Jean MEYER

CFR / COSYS - Département Composants et Systèmes

ESTAS - Évaluation des Systèmes de Transports Automatisés et de leur Sécurité

Villeneuve d'Ascq Cedex

20 rue Élisée Reclus$BP 70317$F-59666 Villeneuve d'Ascq Cedex

Pierre-Jean MEYER

CFR / COSYS - Département Composants et Systèmes

ESTAS - Évaluation des Systèmes de Transports Automatisés et de leur Sécurité

Homepage

http://chapal.eu/pierre-jean_meyer/

Google Scholar:

https://scholar.google.fr/citations?user=GfQi5IsAAAAJ


TIRA - Toolbox for Interval Reachability Analysis

https://gitlab.com/pj_meyer/TIRA

MMRANN - Mixed-Monotonicity Reachability Analysis of Neural Networks

https://gitlab.com/pj_meyer/mmrann