ETAPS 2019 (series) / 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 | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
Using general profile