Bridging the Gap Between Probabilistic Model Checking and Probabilistic Planning: Survey, Compilations, and Empirical Comparison
Michaela Klauck and Marcel Steinmetz and Jörg Hoffmann and Holger Hermanns
Journal of Artificial Intelligence Research
🖺 PDF10.1613/jair.1.11595
TraceVis: Towards Visualization for Deep Statistical Model Checking
Timo P. Gros and David Groß and Stefan Gumhold and Jörg Hoffmann and Michaela Klauck and Marcel Steinmetz
Proceedings of the 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020
🖺 PDF10.1007/978-3-030-83723-5\_3
Towards Dynamic Dependable Systems Through Evidence-Based Continuous Certification
Rasha Faqeh and Christof Fetzer and Holger Hermanns and Jörg Hoffmann and Michaela Klauck and Maximilian A. Köhl and Marcel Steinmetz and Christoph Weidenbach
Proceedings of the 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020
🖺 PDF10.1007/978-3-030-61470-6\_25
Plan-Space Explanation via Plan-Property Dependencies: Faster Algorithms & More Powerful Properties
Rebecca Eifler and Marcel Steinmetz and Álvaro Torralba and Jörg Hoffmann
Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, IJCAI 2020
🖺 PDF10.24963/ijcai.2020/566
Deep Statistical Model Checking
Timo P. Gros and Holger Hermanns and Jörg Hoffmann and Michaela Klauck and Marcel Steinmetz
Proceedings of the 40th International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2020
🖺 PDF10.1007/978-3-030-50086-3\_6
Let's Learn Their Language? A Case for Planning with Automata-Network Languages from Model Checking
Jörg Hoffmann and Holger Hermanns and Michaela Klauck and Marcel Steinmetz and Erez Karpas and Daniele Magazzeni
Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, AAAI 2020
A New Approach to Plan-Space Explanation: Analyzing Plan-Property Dependencies in Oversubscription Planning
Rebecca Eifler and Michael Cashmore and Jörg Hoffmann and Daniele Magazzeni and Marcel Steinmetz
Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, AAAI 2020