Klauck, Michaela

2 publications

JAIR 2020 Bridging the Gap Between Probabilistic Model Checking and Probabilistic Planning: Survey, Compilations, and Empirical Comparison Michaela Klauck, Marcel Steinmetz, Jörg Hoffmann, Holger Hermanns

AAAI 2020 Let's Learn Their Language? a Case for Planning with Automata-Network Languages from Model Checking Jörg Hoffmann, Holger Hermanns, Michaela Klauck, Marcel Steinmetz, Erez Karpas, Daniele Magazzeni