ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
Michaela Klauck

Registered user since Thu 31 Jan 2019

Name:Michaela Klauck
Country:Germany
Affiliation:Saarland Informatics Campus, Saarland University
Research interests:quantitative verification, Markov decision processes, automatic planning

Contributions

TACAS 2019 The Quantitative Verification Benchmark Set
Show activities from other conferences

ETAPS 2019-profile
View general profile