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

Personal website: https://depend.cs.uni-saarland.de/~klauck/

Research interests: quantitative verification, Markov decision processes, automatic planning

Contributions

TACAS 2019Author of The Quantitative Verification Benchmark Set within the TACAS 2019-track
Show activities from other conferences

ETAPS 2019-profile
View general profile