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 | The Quantitative Verification Benchmark Set | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
ETAPS 2019-profile
View general profile
View general profile