• Connexion

en fr

Benedikt's Homepage

Attach:nn_verification. Δpdf

Attach:weighted_automata. Δpdf

Attach:ai-act-explainability. Δpdf

Contact

LMF - Laboratoire Méthodes Formelles
Université Paris-Saclay, CNRS, ENS Paris-Saclay
4 avenue des Sciences
91190 Gif-sur-Yvette, France

Téléphone : +33 (0)1 81 87 54 50

Mail : contact@lmf.cnrs.fr