Annuaire
Marcel Steinmetz
Équipe
RIS : Robotique et InteractionS
Coordonnées
Courriel : marcelsteinmetzlaasfr
Téléphone : (+33) 5 67 52 42 54
Liens
Dernières Publications
2020
Communications dans un congrès
Timo P. Gros, Holger Hermanns, Joerg Hoffmann, Michaela Klauck, Marcel Steinmetz. Deep Statistical Model Checking. 40th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2020, Valletta, Malta. pp.96-114, ⟨10.1007/978-3-030-50086-3_6⟩. ⟨hal-03283238⟩