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 2019 Author of The Quantitative Verification Benchmark Set within the TACAS 2019-track