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