Michaela Klauck, Marcel Steinmetz, Jörg Hoffmann, Holger Hermanns
Compiling Probabilistic Model Checking into Probabilistic Planning
Categories
ICAPSInternational Conference on Automated Planning and Scheduling
ICAPSMichaela Klauck, Marcel Steinmetz, Jörg Hoffmann, Holger Hermanns
Compiling Probabilistic Model Checking into Probabilistic Planning