Annuaire - LAAS-CNRS

Marcel Steinmetz

Marcel Steinmetz

Team

RIS : Robotics and InteractionS

Contact details

Email :

Phone :

Links

Publications

Latest publications

2020

Conference papers

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⟩

LAAS-CNRS

7, av. du colonel Roche
BP 54200
31031 Toulouse cedex 4
France

Tél :

GPS

Lat : 43.564330
Long : 1.476839

+ The Lab + Research + Platforms + Training for and to research + Partnership + News