Vortrag: Parameter Synthesis in Probabilistic Model Checking

Mittwoch, 29.11.2017, 11.00 Uhr

Ort: RWTH Aachen University, Informatikzentrum - Ahornstr. 55, Erweiterungsgebäude E3, Raum 9u10

 

Vortragender: Sebastian Junges

 

Herr Junges berichet über seine aktuelle Forschung im Bereicht Model Checking.