2024 | conf_ecai_JainCDVSDH24 Safety Verification of Tree-Ensemble Policies via Predicate Abstraction Chaahat Jain; Lorenzo Cascioli; Laurens Devos; Marcel Vinzent; Marcel Steinmetz; Jesse Davis; Jörg Hoffmann 27th European Conference on Artificial Intelligence, ECAI 2024. conf_ecai_KloessnerTSS24 Merge-and-Shrink Heuristics for SSPs with Prune Transformations Thorsten Klößner; Álvaro Torralba; Marcel Steinmetz; Silvan Sievers 27th European Conference on Artificial Intelligence, ECAI 2024. conf_aips_BehnkeS24 On the Computational Complexity of Stackelberg Planning and Meta-Operator Verification Gregor Behnke; Marcel Steinmetz Thirty-Fourth International Conference on Automated Planning and Scheduling, ICAPS 2024. 20--24 conf_aips_FiserS24 Towards Feasible Higher-Dimensional Potential Heuristics Daniel Fiser; Marcel Steinmetz Thirty-Fourth International Conference on Automated Planning and Scheduling, ICAPS 2024. 210--220 PDF conference ICAPS doi: 10.1609/icaps.v34i1.31478 conf_aips_SteinmetzTHT24 Explaining the Space of SSP Policies via Policy-Property Dependencies: Complexity, Algorithms, and Relation to Multi-Objective Planning Marcel Steinmetz; Sylvie Thiébaux; Daniel Höller; Florent Teichteil-Königsbuch Thirty-Fourth International Conference on Automated Planning and Scheduling, ICAPS 2024. 555--564 PDF conference ICAPS doi: 10.1609/icaps.v34i1.31517 |
2023 | Cartesian Abstractions and Saturated Cost Partitioning in Probabilistic Planning. Thorsten Klößner; Jendrik Seipp; Marcel Steinmetz 26th European Conference on Artificial Intelligence, ECAI 2023. 1272-1279 PDF conference ECAI doi: 10.3233/FAIA230405 conf_aips_KlossnerTSS23 A Theory of Merge-and-Shrink for Stochastic Shortest Path Problems. Thorsten Klößner; Álvaro Torralba; Marcel Steinmetz; Silvan Sievers Thirty-Third International Conference on Automated Planning and Scheduling, ICAPS 2023. 203-211 PDF conference ICAPS doi: 10.1609/ICAPS.V33I1.27196 conf_aips_SauerSK023 Lifted Stackelberg Planning. Philipp Sauer; Marcel Steinmetz; Robert Künnemann; Jörg Hoffmann Thirty-Third International Conference on Automated Planning and Scheduling, ICAPS 2023. 370-374 PDF conference ICAPS doi: 10.1609/ICAPS.V33I1.27215 journals_sttt_GrosHHKS23 Analyzing neural network behavior through deep statistical model checking. Timo P. Gros; Holger Hermanns; Jörg Hoffmann; Michaela Klauck; Marcel Steinmetz International Journal on Software Tools for Technology Transfer. 2023, 25, 407-426 PDF journal doi: 10.1007/S10009-022-00685-9 |
2022 | conf_iv_GrossKGSHG22 Glyph-Based Visual Analysis of Q-Leaning Based Action Policy Ensembles on Racetrack. David Groß; Michaela Klauck; Timo P. Gros; Marcel Steinmetz; Jörg Hoffmann; Stefan Gumhold 26th International Conference Information Visualisation, IV 2022. 1-10 PDF conference IV doi: 10.1109/IV56949.2022.00011 conf_aips_KlossnerST022 Pattern Selection Strategies for Pattern Databases in Probabilistic Planning. Thorsten Klößner; Marcel Steinmetz; Álvaro Torralba; Jörg Hoffmann Thirty-Second International Conference on Automated Planning and Scheduling, ICAPS 2022. 184-192 conf_aips_SteinmetzFEFGHH22 Debugging a Policy: Automatic Action-Policy Testing in AI Planning. Marcel Steinmetz; Daniel Fiser; Hasan Ferit Eniser; Patrick Ferber; Timo P. Gros; Philippe Heim; Daniel Höller; Xandra Schuler; Valentin Wüstholz; Maria Christakis; Jörg Hoffmann Thirty-Second International Conference on Automated Planning and Scheduling, ICAPS 2022. 353-361 conf_aips_VinzentS022 Neural Network Action Policy Verification via Predicate Abstraction. Marcel Vinzent; Marcel Steinmetz; Jörg Hoffmann Thirty-Second International Conference on Automated Planning and Scheduling, ICAPS 2022. 371-379 conf_aaai_Borgwardt0KKNS22 Expressivity of Planning with Horn Description Logic Ontologies. Stefan Borgwardt; Jörg Hoffmann; Alisa Kovtunova; Markus Krötzsch; Bernhard Nebel; Marcel Steinmetz Thirty-Sixth AAAI Conference on Artificial Intelligence, AAAI 2022. 5503-5511 PDF conference AAAI doi: 10.1609/AAAI.V36I5.20489 conf_aaai_Steinmetz0KB22 Classical Planning with Avoid Conditions. Marcel Steinmetz; Jörg Hoffmann; Alisa Kovtunova; Stefan Borgwardt Thirty-Sixth AAAI Conference on Artificial Intelligence, AAAI 2022. 9944-9952 PDF conference AAAI doi: 10.1609/AAAI.V36I9.21232 |
2021 | conf_kr_Borgwardt0KS21 Making DL-Lite Planning Practical. Stefan Borgwardt; Jörg Hoffmann; Alisa Kovtunova; Marcel Steinmetz 18th International Conference on Principles of Knowledge Representation and Reasoning, KR 2021. 641-645 PDF conference KR doi: 10.24963/KR.2021/61 conf_icmi_WiehrHSKKKBCDS021 Why Do I Have to Take Over Control? Evaluating Safe Handovers with Advance Notice and Explanations in HAD. Frederik Wiehr; Anke Hirsch; Lukas Schmitz; Nina Knieriemen; Antonio Krüger; Alisa Kovtunova; Stefan Borgwardt; Ernie Chang; Vera Demberg; Marcel Steinmetz; Jörg Hoffmann International Conference on Multimodal Interaction, ICMI 2021. 308-317 PDF conference ICMI doi: 10.1145/3462244.3479884 conf_aaai_TorralbaSKS021 Faster Stackelberg Planning via Symbolic Search and Information Sharing. Álvaro Torralba; Patrick Speicher; Robert Künnemann; Marcel Steinmetz; Jörg Hoffmann Thirty-Fifth AAAI Conference on Artificial Intelligence, AAAI 2021. 11998-12006 PDF conference AAAI doi: 10.1609/AAAI.V35I13.17425 conf_aips_Klossner0ST21 Pattern Databases for Goal-Probability Maximization in Probabilistic Planning. Thorsten Klößner; Jörg Hoffmann; Marcel Steinmetz; Álvaro Torralba Thirty-First International Conference on Automated Planning and Scheduling, ICAPS 2021. 201-209 |
2020 | conf_forte_GrosH0KS20 Deep Statistical Model Checking. Timo P. Gros; Holger Hermanns; Jörg Hoffmann; Michaela Klauck; Marcel Steinmetz 40th International Conference on Formal Techniques for Distributed Objects, FORTE 2020. 96-114 PDF conference FORTE doi: 10.1007/978-3-030-50086-3_6 conf_isola_FaqehFH0KKSW20 Towards Dynamic Dependable Systems Through Evidence-Based Continuous Certification. Rasha Faqeh; Christof Fetzer; Holger Hermanns; Jörg Hoffmann; Michaela Klauck; Maximilian A. Köhl; Marcel Steinmetz; Christoph Weidenbach 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020. 416-439 PDF conference ISoLA doi: 10.1007/978-3-030-61470-6_25 conf_isola_GrosGGHKS20 TraceVis: Towards Visualization for Deep Statistical Model Checking. Timo P. Gros; David Groß; Stefan Gumhold; Jörg Hoffmann; Michaela Klauck; Marcel Steinmetz 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020. 27-46 PDF conference ISoLA doi: 10.1007/978-3-030-83723-5_3 conf_aaai_EiflerC0MS20 A New Approach to Plan-Space Explanation: Analyzing Plan-Property Dependencies in Oversubscription Planning. Rebecca Eifler; Michael Cashmore; Jörg Hoffmann; Daniele Magazzeni; Marcel Steinmetz Thirty-Fourth AAAI Conference on Artificial Intelligence, AAAI 2020. 9818-9826 PDF conference AAAI doi: 10.1609/AAAI.V34I06.6534 conf_aaai_HoffmannHKSKM20 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 Thirty-Fourth AAAI Conference on Artificial Intelligence, AAAI 2020. 13569-13575 PDF conference AAAI doi: 10.1609/AAAI.V34I09.7083 conf_ijcai_EiflerST020 Plan-Space Explanation via Plan-Property Dependencies: Faster Algorithms & More Powerful Properties. Rebecca Eifler; Marcel Steinmetz; Álvaro Torralba; Jörg Hoffmann Twenty-Ninth International Joint Conference on Artificial Intelligence, IJCAI 2020. 4091-4097 PDF conference IJCAI doi: 10.24963/IJCAI.2020/566 journals_jair_KlauckSHH20 Bridging the Gap Between Probabilistic Model Checking and Probabilistic Planning: Survey, Compilations, and Empirical Comparison. Michaela Klauck; Marcel Steinmetz; Jörg Hoffmann; Holger Hermanns Journal of Artificial Intelligence Research. 2020, 68, 247-310 PDF journal doi: 10.1613/JAIR.1.11595 |
2019 | conf_sac_SpeicherS00K19 Towards automated network mitigation analysis. Patrick Speicher; Marcel Steinmetz; Jörg Hoffmann; Michael Backes; Robert Künnemann 34th ACM/SIGAPP Symposium on Applied Computing, SAC 2019. 1971-1978 PDF conference SAC doi: 10.1145/3297280.3297473 conf_tacas_HahnHHKKKPQRS19 The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models - (QComp 2019 Competition Report). Ernst Moritz Hahn; Arnd Hartmanns; Christian Hensel; Michaela Klauck; Joachim Klein; Jan Kretínský; David Parker; Tim Quatmann; Enno Ruijters; Marcel Steinmetz Tools and Algorithms for the Construction and Analysis of Systems - 25 Years of TACAS: TOOLympics, TACAS 2019. 69-92 PDF conference TACAS doi: 10.1007/978-3-030-17502-3_5 conf_aips_SteinmetzT19 Bridging the Gap between Abstractions and Critical-Path Heuristics via Hypergraphs. Marcel Steinmetz; Álvaro Torralba Twenty-Ninth International Conference on Automated Planning and Scheduling, ICAPS 2019. 473-481 |
2018 | conf_eurosp_SpeicherSKSP0018 Formally Reasoning about the Cost and Efficacy of Securing the Email Infrastructure. Patrick Speicher; Marcel Steinmetz; Robert Künnemann; Milivoj Simeonovski; Giancarlo Pellegrino; Jörg Hoffmann; Michael Backes 2018 IEEE European Symposium on Security and Privacy, EuroS&P 2018. 77-91 PDF conference EuroS&P doi: 10.1109/EUROSP.2018.00014 conf_aaai_SpeicherS00K18 Stackelberg Planning: Towards Effective Leader-Follower State Space Search. Patrick Speicher; Marcel Steinmetz; Michael Backes; Jörg Hoffmann; Robert Künnemann Thirty-Second AAAI Conference on Artificial Intelligence, AAAI 2018. 6286-6293 PDF conference AAAI doi: 10.1609/AAAI.V32I1.12090 conf_aips_KlauckS0H18 Compiling Probabilistic Model Checking into Probabilistic Planning. Michaela Klauck; Marcel Steinmetz; Jörg Hoffmann; Holger Hermanns Twenty-Eighth International Conference on Automated Planning and Scheduling, ICAPS 2018. 150-154 conf_aips_ShmaryahuS0S18 Simulated Penetration Testing as Contingent Planning. Dorin Shmaryahu; Guy Shani; Jörg Hoffmann; Marcel Steinmetz Twenty-Eighth International Conference on Automated Planning and Scheduling, ICAPS 2018. 241-249 conf_aips_WilhelmS018 On Stubborn Sets and Planning with Resources. Anna Wilhelm; Marcel Steinmetz; Jörg Hoffmann Twenty-Eighth International Conference on Automated Planning and Scheduling, ICAPS 2018. 288-297 conf_ijcai_Steinmetz018 LP Heuristics over Conjunctions: Compilation, Convergence, Nogood Learning. Marcel Steinmetz; Jörg Hoffmann Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI 2018. 4837-4843 PDF conference IJCAI doi: 10.24963/IJCAI.2018/672 |
2017 | conf_aips_SpeicherSG0G17 Beyond Red-Black Planning: Limited-Memory State Variables. Patrick Speicher; Marcel Steinmetz; Daniel Gnad; Jörg Hoffmann; Alfonso Gerevini Twenty-Seventh International Conference on Automated Planning and Scheduling, ICAPS 2017. 269-273 conf_aips_Steinmetz017 Critical-Path Dead-End Detection versus NoGoods: Offline Equivalence and Online Learning. Marcel Steinmetz; Jörg Hoffmann Twenty-Seventh International Conference on Automated Planning and Scheduling, ICAPS 2017. 283-287 conf_ijcai_Steinmetz017 Search and Learn: On Dead-End Detectors, the Traps they Set, and Trap Learning. Marcel Steinmetz; Jörg Hoffmann Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI 2017. 4398-4404 PDF conference IJCAI doi: 10.24963/IJCAI.2017/614 journals_ai_SteinmetzH17 State space search nogood learning: Online refinement of critical-path dead-end detectors in planning. Marcel Steinmetz; Jörg Hoffmann Artificial Intelligence. 2017, 245, 1-37 PDF journal doi: 10.1016/J.ARTINT.2016.12.002 |
2016 | conf_socs_GnadSJ0SG16 Partial Delete Relaxation, Unchained: On Intractable Red-Black Planning and Its Applications. Daniel Gnad; Marcel Steinmetz; Mathäus Jany; Jörg Hoffmann; Ivan Serina; Alfonso Gerevini Ninth Annual Symposium on Combinatorial Search, SOCS 2016. 45-53 PDF conference SOCS doi: 10.1609/SOCS.V7I1.18391 conf_aaai_SteinmetzH16 Towards Clause-Learning State Space Search: Learning to Recognize Dead-Ends. Marcel Steinmetz; Jörg Hoffmann Thirtieth AAAI Conference on Artificial Intelligence, AAAI 2016. 760-768 PDF conference AAAI doi: 10.1609/AAAI.V30I1.10062 conf_aips_SteinmetzHB16 Revisiting Goal Probability Analysis in Probabilistic Planning. Marcel Steinmetz; Jörg Hoffmann; Olivier Buffet Twenty-Sixth International Conference on Automated Planning and Scheduling, ICAPS 2016. 299-307 journals_jair_FickertHS16 Combining the Delete Relaxation with Critical-Path Heuristics: A Direct Characterization. Maximilian Fickert; Jörg Hoffmann; Marcel Steinmetz Journal of Artificial Intelligence Research. 2016, 56, 269-327 PDF journal doi: 10.1613/JAIR.5057 journals_jair_SteinmetzHB16 Goal Probability Analysis in Probabilistic Planning: Exploring and Enhancing the State of the Art. Marcel Steinmetz; Jörg Hoffmann; Olivier Buffet Journal of Artificial Intelligence Research. 2016, 57, 229-271 PDF journal doi: 10.1613/JAIR.5153 |