| A new approach to plan-space explanation: Analyzing plan-property dependencies in oversubscription planning R Eifler, M Cashmore, J Hoffmann, D Magazzeni, M Steinmetz Proceedings of the AAAI Conference on Artificial Intelligence 34 (06), 9818-9826, 2020 | 74 | 2020 |
| The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models: (QComp 2019 Competition Report) EM Hahn, A Hartmanns, C Hensel, M Klauck, J Klein, J Křetínský, ... International Conference on Tools and Algorithms for the Construction and …, 2019 | 70 | 2019 |
| Deep statistical model checking TP Gros, H Hermanns, J Hoffmann, M Klauck, M Steinmetz International Conference on Formal Techniques for Distributed Objects …, 2020 | 59 | 2020 |
| Goal probability analysis in probabilistic planning: Exploring and enhancing the state of the art M Steinmetz, J Hoffmann, O Buffet Journal of Artificial Intelligence Research 57, 229-271, 2016 | 58 | 2016 |
| Stackelberg planning: Towards effective leader-follower state space search P Speicher, M Steinmetz, M Backes, J Hoffmann, R Künnemann Proceedings of the AAAI Conference on Artificial Intelligence 32 (1), 2018 | 45 | 2018 |
| Towards automated network mitigation analysis P Speicher, M Steinmetz, J Hoffmann, M Backes, R Künnemann Proceedings of the 34th ACM/SIGAPP symposium on applied computing, 1971-1978, 2019 | 32 | 2019 |
| State space search nogood learning: Online refinement of critical-path dead-end detectors in planning M Steinmetz, J Hoffmann Artificial Intelligence 245, 1-37, 2017 | 30 | 2017 |
| Simulated penetration testing and mitigation analysis M Backes, J Hoffmann, R Künnemann, P Speicher, M Steinmetz CoRR, 2017 | 29 | 2017 |
| Towards dynamic dependable systems through evidence-based continuous certification R Faqeh, C Fetzer, H Hermanns, J Hoffmann, M Klauck, MA Köhl, ... International Symposium on Leveraging Applications of Formal Methods, 416-439, 2020 | 28 | 2020 |
| Partially observable contingent planning for penetration testing D Shmaryahu, G Shani, J Hoffmann, M Steinmetz Iwaise: First international workshop on artificial intelligence in security 33, 2017 | 27 | 2017 |
| Towards clause-learning state space search: Learning to recognize dead-ends M Steinmetz, J Hoffmann Proceedings of the AAAI Conference on Artificial Intelligence 30 (1), 2016 | 27 | 2016 |
| Plan-space explanation via plan-property dependencies: Faster algorithms & more powerful properties R Eifler, M Steinmetz, A Torralba, J Hoffmann Proceedings of the Twenty-Ninth International Conference on International …, 2021 | 25 | 2021 |
| Revisiting goal probability analysis in probabilistic planning M Steinmetz, J Hoffmann, O Buffet Proceedings of the International Conference on Automated Planning and …, 2016 | 25 | 2016 |
| Constructing plan trees for simulated penetration testing D Shmaryahu, G Shani, J Hoffmann, M Steinmetz The 26th international conference on automated planning and scheduling 121, 2016 | 25 | 2016 |
| Simulated penetration testing as contingent planning D Shmaryahu, G Shani, J Hoffmann, M Steinmetz Proceedings of the International Conference on Automated Planning and …, 2018 | 23 | 2018 |
| Expressivity of planning with horn description logic ontologies S Borgwardt, J Hoffmann, A Kovtunova, M Krötzsch, B Nebel, M Steinmetz Proceedings of the AAAI Conference on Artificial Intelligence 36 (5), 5503-5511, 2022 | 21 | 2022 |
| TraceVis: towards visualization for deep statistical model checking TP Gros, D Groß, S Gumhold, J Hoffmann, M Klauck, M Steinmetz International Symposium on Leveraging Applications of Formal Methods, 27-46, 2020 | 21 | 2020 |
| Bridging the gap between probabilistic model checking and probabilistic planning: Survey, compilations, and empirical comparison M Klauck, M Steinmetz, J Hoffmann, H Hermanns Journal of Artificial Intelligence Research 68, 247-310, 2020 | 21 | 2020 |
| Debugging a policy: Automatic action-policy testing in AI planning M Steinmetz, D Fišer, HF Eniser, P Ferber, TP Gros, P Heim, D Höller, ... Proceedings of the International Conference on Automated Planning and …, 2022 | 20 | 2022 |
| Formally reasoning about the cost and efficacy of securing the email infrastructure P Speicher, M Steinmetz, R Künnemann, M Simeonovski, G Pellegrino, ... 2018 IEEE European Symposium on Security and Privacy (EuroS&P), 77-91, 2018 | 19 | 2018 |
