@inproceedings{DBLP:conf/ecai/JainCDVSD024,
author = {Chaahat Jain and
Lorenzo Cascioli and
Laurens Devos and
Marcel Vinzent and
Marcel Steinmetz and
Jesse Davis and
J{\"{o}}rg Hoffmann},
editor = {Ulle Endriss and
Francisco S. Melo and
Kerstin Bach and
Alberto Jos{\'{e}} Bugar{\'{\i}}n Diz and
Jose Maria Alonso{-}Moral and
Sen{\'{e}}n Barro and
Fredrik Heintz},
title = {Safety Verification of Tree-Ensemble Policies via Predicate Abstraction},
booktitle = {{ECAI} 2024 - 27th European Conference on Artificial Intelligence,
19-24 October 2024, Santiago de Compostela, Spain - Including 13th
Conference on Prestigious Applications of Intelligent Systems {(PAIS}
2024)},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {392},
pages = {1189--1197},
publisher = {{IOS} Press},
year = {2024},
url = {https://doi.org/10.3233/FAIA240614},
doi = {10.3233/FAIA240614},
timestamp = {Fri, 25 Oct 2024 12:13:46 +0200},
biburl = {https://dblp.org/rec/conf/ecai/JainCDVSD024.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/KlossnerTSS24,
author = {Thorsten Kl{\"{o}}{\ss}ner and
{\'{A}}lvaro Torralba and
Marcel Steinmetz and
Silvan Sievers},
editor = {Ulle Endriss and
Francisco S. Melo and
Kerstin Bach and
Alberto Jos{\'{e}} Bugar{\'{\i}}n Diz and
Jose Maria Alonso{-}Moral and
Sen{\'{e}}n Barro and
Fredrik Heintz},
title = {Merge-and-Shrink Heuristics for SSPs with Prune Transformations},
booktitle = {{ECAI} 2024 - 27th European Conference on Artificial Intelligence,
19-24 October 2024, Santiago de Compostela, Spain - Including 13th
Conference on Prestigious Applications of Intelligent Systems {(PAIS}
2024)},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {392},
pages = {1222--1229},
publisher = {{IOS} Press},
year = {2024},
url = {https://doi.org/10.3233/FAIA240618},
doi = {10.3233/FAIA240618},
timestamp = {Fri, 25 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecai/KlossnerTSS24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaps/BehnkeS24,
author = {Gregor Behnke and
Marcel Steinmetz},
editor = {Sara Bernardini and
Christian Muise},
title = {On the Computational Complexity of Stackelberg Planning and Meta-Operator
Verification},
booktitle = {Proceedings of the Thirty-Fourth International Conference on Automated
Planning and Scheduling, {ICAPS} 2024, Banff, Alberta, Canada, June
1-6, 2024},
pages = {20--24},
publisher = {{AAAI} Press},
year = {2024},
url = {https://doi.org/10.1609/icaps.v34i1.31456},
doi = {10.1609/ICAPS.V34I1.31456},
timestamp = {Mon, 03 Jun 2024 16:36:27 +0200},
biburl = {https://dblp.org/rec/conf/icaps/BehnkeS24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaps/FiserS24,
author = {Daniel Fiser and
Marcel Steinmetz},
editor = {Sara Bernardini and
Christian Muise},
title = {Towards Feasible Higher-Dimensional Potential Heuristics},
booktitle = {Proceedings of the Thirty-Fourth International Conference on Automated
Planning and Scheduling, {ICAPS} 2024, Banff, Alberta, Canada, June
1-6, 2024},
pages = {210--220},
publisher = {{AAAI} Press},
year = {2024},
url = {https://doi.org/10.1609/icaps.v34i1.31478},
doi = {10.1609/ICAPS.V34I1.31478},
timestamp = {Mon, 03 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icaps/FiserS24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaps/SteinmetzTHT24,
author = {Marcel Steinmetz and
Sylvie Thi{\'{e}}baux and
Daniel H{\"{o}}ller and
Florent Teichteil{-}K{\"{o}}nigsbuch},
editor = {Sara Bernardini and
Christian Muise},
title = {Explaining the Space of {SSP} Policies via Policy-Property Dependencies:
Complexity, Algorithms, and Relation to Multi-Objective Planning},
booktitle = {Proceedings of the Thirty-Fourth International Conference on Automated
Planning and Scheduling, {ICAPS} 2024, Banff, Alberta, Canada, June
1-6, 2024},
pages = {555--564},
publisher = {{AAAI} Press},
year = {2024},
url = {https://doi.org/10.1609/icaps.v34i1.31517},
doi = {10.1609/ICAPS.V34I1.31517},
timestamp = {Mon, 03 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icaps/SteinmetzTHT24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2403-17826,
author = {Gregor Behnke and
Marcel Steinmetz},
title = {On the Computational Complexity of Stackelberg Planning and Meta-Operator
Verification: Technical Report},
journal = {CoRR},
volume = {abs/2403.17826},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2403.17826},
doi = {10.48550/ARXIV.2403.17826},
eprinttype = {arXiv},
eprint = {2403.17826},
timestamp = {Wed, 10 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2403-17826.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/GrosHHKS23,
author = {Timo P. Gros and
Holger Hermanns and
J{\"{o}}rg Hoffmann and
Michaela Klauck and
Marcel Steinmetz},
title = {Analyzing neural network behavior through deep statistical model checking},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {25},
number = {3},
pages = {407--426},
year = {2023},
url = {https://doi.org/10.1007/s10009-022-00685-9},
doi = {10.1007/S10009-022-00685-9},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/GrosHHKS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/KlossnerTSS23,
author = {Thorsten Kl{\"{o}}{\ss}ner and
{\'{A}}lvaro Torralba and
Marcel Steinmetz and
Silvan Sievers},
editor = {Sven Koenig and
Roni Stern and
Mauro Vallati},
title = {A Theory of Merge-and-Shrink for Stochastic Shortest Path Problems},
booktitle = {Proceedings of the Thirty-Third International Conference on Automated
Planning and Scheduling, Prague, Czech Republic, July 8-13, 2023},
pages = {203--211},
publisher = {{AAAI} Press},
year = {2023},
url = {https://doi.org/10.1609/icaps.v33i1.27196},
doi = {10.1609/ICAPS.V33I1.27196},
timestamp = {Mon, 03 Jun 2024 16:37:45 +0200},
biburl = {https://dblp.org/rec/conf/aips/KlossnerTSS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/SauerSK023,
author = {Philipp Sauer and
Marcel Steinmetz and
Robert K{\"{u}}nnemann and
J{\"{o}}rg Hoffmann},
editor = {Sven Koenig and
Roni Stern and
Mauro Vallati},
title = {Lifted Stackelberg Planning},
booktitle = {Proceedings of the Thirty-Third International Conference on Automated
Planning and Scheduling, Prague, Czech Republic, July 8-13, 2023},
pages = {370--374},
publisher = {{AAAI} Press},
year = {2023},
url = {https://doi.org/10.1609/icaps.v33i1.27215},
doi = {10.1609/ICAPS.V33I1.27215},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aips/SauerSK023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/KlossnerSS23,
author = {Thorsten Kl{\"{o}}{\ss}ner and
Jendrik Seipp and
Marcel Steinmetz},
editor = {Kobi Gal and
Ann Now{\'{e}} and
Grzegorz J. Nalepa and
Roy Fairstein and
Roxana Radulescu},
title = {Cartesian Abstractions and Saturated Cost Partitioning in Probabilistic
Planning},
booktitle = {{ECAI} 2023 - 26th European Conference on Artificial Intelligence,
September 30 - October 4, 2023, Krak{\'{o}}w, Poland - Including 12th
Conference on Prestigious Applications of Intelligent Systems {(PAIS}
2023)},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {372},
pages = {1272--1279},
publisher = {{IOS} Press},
year = {2023},
url = {https://doi.org/10.3233/FAIA230405},
doi = {10.3233/FAIA230405},
timestamp = {Wed, 18 Oct 2023 09:31:16 +0200},
biburl = {https://dblp.org/rec/conf/ecai/KlossnerSS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/dnb/Steinmetz22,
author = {Marcel Steinmetz},
title = {Conflict-driven learning in {AI} planning state-space search},
school = {Saarland University, Saarbr{\"{u}}cken, Germany},
year = {2022},
url = {https://publikationen.sulb.uni-saarland.de/handle/20.500.11880/34740},
urn = {urn:nbn:de:bsz:291--ds-384686},
timestamp = {Wed, 25 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/phd/dnb/Steinmetz22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Borgwardt0KKNS22,
author = {Stefan Borgwardt and
J{\"{o}}rg Hoffmann and
Alisa Kovtunova and
Markus Kr{\"{o}}tzsch and
Bernhard Nebel and
Marcel Steinmetz},
title = {Expressivity of Planning with Horn Description Logic Ontologies},
booktitle = {Thirty-Sixth {AAAI} Conference on Artificial Intelligence, {AAAI}
2022, Thirty-Fourth Conference on Innovative Applications of Artificial
Intelligence, {IAAI} 2022, The Twelveth Symposium on Educational Advances
in Artificial Intelligence, {EAAI} 2022 Virtual Event, February 22
- March 1, 2022},
pages = {5503--5511},
publisher = {{AAAI} Press},
year = {2022},
url = {https://doi.org/10.1609/aaai.v36i5.20489},
doi = {10.1609/AAAI.V36I5.20489},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Borgwardt0KKNS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Steinmetz0KB22,
author = {Marcel Steinmetz and
J{\"{o}}rg Hoffmann and
Alisa Kovtunova and
Stefan Borgwardt},
title = {Classical Planning with Avoid Conditions},
booktitle = {Thirty-Sixth {AAAI} Conference on Artificial Intelligence, {AAAI}
2022, Thirty-Fourth Conference on Innovative Applications of Artificial
Intelligence, {IAAI} 2022, The Twelveth Symposium on Educational Advances
in Artificial Intelligence, {EAAI} 2022 Virtual Event, February 22
- March 1, 2022},
pages = {9944--9952},
publisher = {{AAAI} Press},
year = {2022},
url = {https://doi.org/10.1609/aaai.v36i9.21232},
doi = {10.1609/AAAI.V36I9.21232},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Steinmetz0KB22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/KlossnerST022,
author = {Thorsten Kl{\"{o}}{\ss}ner and
Marcel Steinmetz and
{\'{A}}lvaro Torralba and
J{\"{o}}rg Hoffmann},
editor = {Akshat Kumar and
Sylvie Thi{\'{e}}baux and
Pradeep Varakantham and
William Yeoh},
title = {Pattern Selection Strategies for Pattern Databases in Probabilistic
Planning},
booktitle = {Proceedings of the Thirty-Second International Conference on Automated
Planning and Scheduling, {ICAPS} 2022, Singapore (virtual), June 13-24,
2022},
pages = {184--192},
publisher = {{AAAI} Press},
year = {2022},
url = {https://ojs.aaai.org/index.php/ICAPS/article/view/19801},
timestamp = {Wed, 20 Jul 2022 14:27:38 +0200},
biburl = {https://dblp.org/rec/conf/aips/KlossnerST022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/SteinmetzFEFGHH22,
author = {Marcel Steinmetz and
Daniel Fiser and
Hasan Ferit Eniser and
Patrick Ferber and
Timo P. Gros and
Philippe Heim and
Daniel H{\"{o}}ller and
Xandra Schuler and
Valentin W{\"{u}}stholz and
Maria Christakis and
J{\"{o}}rg Hoffmann},
editor = {Akshat Kumar and
Sylvie Thi{\'{e}}baux and
Pradeep Varakantham and
William Yeoh},
title = {Debugging a Policy: Automatic Action-Policy Testing in {AI} Planning},
booktitle = {Proceedings of the Thirty-Second International Conference on Automated
Planning and Scheduling, {ICAPS} 2022, Singapore (virtual), June 13-24,
2022},
pages = {353--361},
publisher = {{AAAI} Press},
year = {2022},
url = {https://ojs.aaai.org/index.php/ICAPS/article/view/19820},
timestamp = {Wed, 20 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aips/SteinmetzFEFGHH22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/VinzentS022,
author = {Marcel Vinzent and
Marcel Steinmetz and
J{\"{o}}rg Hoffmann},
editor = {Akshat Kumar and
Sylvie Thi{\'{e}}baux and
Pradeep Varakantham and
William Yeoh},
title = {Neural Network Action Policy Verification via Predicate Abstraction},
booktitle = {Proceedings of the Thirty-Second International Conference on Automated
Planning and Scheduling, {ICAPS} 2022, Singapore (virtual), June 13-24,
2022},
pages = {371--379},
publisher = {{AAAI} Press},
year = {2022},
url = {https://ojs.aaai.org/index.php/ICAPS/article/view/19822},
timestamp = {Wed, 20 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aips/VinzentS022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/Borgwardt0KKNS22,
author = {Stefan Borgwardt and
J{\"{o}}rg Hoffmann and
Alisa Kovtunova and
Markus Kr{\"{o}}tzsch and
Bernhard Nebel and
Marcel Steinmetz},
editor = {Ofer Arieli and
Martin Homola and
Jean Christoph Jung and
Marie{-}Laure Mugnier},
title = {Expressivity of Planning with Horn Description Logic Ontologies (Extended
Abstract)},
booktitle = {Proceedings of the 35th International Workshop on Description Logics
{(DL} 2022) co-located with Federated Logic Conference (FLoC 2022),
Haifa, Israel, August 7th to 10th, 2022},
series = {{CEUR} Workshop Proceedings},
volume = {3263},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3263/abstract-5.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/dlog/Borgwardt0KKNS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iv/GrossKGSHG22,
author = {David Gro{\ss} and
Michaela Klauck and
Timo P. Gros and
Marcel Steinmetz and
J{\"{o}}rg Hoffmann and
Stefan Gumhold},
editor = {Ebad Banissi and
Anna Ursyn and
Mark W. McK. Bannatyne and
Jo{\~{a}}o Moura Pires and
Nuno Datia and
Kawa Nazemi and
Boris Kovalerchuk and
Razvan Andonie and
Minoru Nakayama and
Filippo Sciarrone and
Weidong Huang and
Quang Vinh Nguyen and
Mabule Samuel Mabakane and
Adrian Rusu and
Marco Temperini and
Urska Cvek and
Marjan Trutschl and
Heimo M{\"{u}}ller and
Harri Siirtola and
Wai Lok Woo and
Rita Francese and
Veronica Rossano and
Tania Di Mascio and
Fatma Bouali and
Gilles Venturini and
Sebastian Kernbach and
Delfina Malandrino and
Rocco Zaccagnino and
Jian J. Zhang and
Xiaosong Yang and
Vladimir Geroimenko},
title = {Glyph-Based Visual Analysis of Q-Leaning Based Action Policy Ensembles
on Racetrack},
booktitle = {26th International Conference Information Visualisation, {IV} 2022,
Vienna, Austria, July 19-22, 2022},
pages = {1--10},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/IV56949.2022.00011},
doi = {10.1109/IV56949.2022.00011},
timestamp = {Tue, 30 Jan 2024 14:33:27 +0100},
biburl = {https://dblp.org/rec/conf/iv/GrossKGSHG22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2203-09361,
author = {Stefan Borgwardt and
J{\"{o}}rg Hoffmann and
Alisa Kovtunova and
Markus Kr{\"{o}}tzsch and
Bernhard Nebel and
Marcel Steinmetz},
title = {Expressivity of Planning with Horn Description Logic Ontologies (Technical
Report)},
journal = {CoRR},
volume = {abs/2203.09361},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2203.09361},
doi = {10.48550/ARXIV.2203.09361},
eprinttype = {arXiv},
eprint = {2203.09361},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2203-09361.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/TorralbaSKS021,
author = {{\'{A}}lvaro Torralba and
Patrick Speicher and
Robert K{\"{u}}nnemann and
Marcel Steinmetz and
J{\"{o}}rg Hoffmann},
title = {Faster Stackelberg Planning via Symbolic Search and Information Sharing},
booktitle = {Thirty-Fifth {AAAI} Conference on Artificial Intelligence, {AAAI}
2021, Thirty-Third Conference on Innovative Applications of Artificial
Intelligence, {IAAI} 2021, The Eleventh Symposium on Educational Advances
in Artificial Intelligence, {EAAI} 2021, Virtual Event, February 2-9,
2021},
pages = {11998--12006},
publisher = {{AAAI} Press},
year = {2021},
url = {https://doi.org/10.1609/aaai.v35i13.17425},
doi = {10.1609/AAAI.V35I13.17425},
timestamp = {Mon, 04 Sep 2023 12:29:24 +0200},
biburl = {https://dblp.org/rec/conf/aaai/TorralbaSKS021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/Klossner0ST21,
author = {Thorsten Kl{\"{o}}{\ss}ner and
J{\"{o}}rg Hoffmann and
Marcel Steinmetz and
{\'{A}}lvaro Torralba},
editor = {Susanne Biundo and
Minh Do and
Robert Goldman and
Michael Katz and
Qiang Yang and
Hankz Hankui Zhuo},
title = {Pattern Databases for Goal-Probability Maximization in Probabilistic
Planning},
booktitle = {Proceedings of the Thirty-First International Conference on Automated
Planning and Scheduling, {ICAPS} 2021, Guangzhou, China (virtual),
August 2-13, 2021},
pages = {201--209},
publisher = {{AAAI} Press},
year = {2021},
url = {https://ojs.aaai.org/index.php/ICAPS/article/view/15963},
timestamp = {Wed, 30 Aug 2023 08:38:08 +0200},
biburl = {https://dblp.org/rec/conf/aips/Klossner0ST21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/Borgwardt0KS21,
author = {Stefan Borgwardt and
J{\"{o}}rg Hoffmann and
Alisa Kovtunova and
Marcel Steinmetz},
editor = {Martin Homola and
Vladislav Ryzhikov and
Renate A. Schmidt},
title = {Making DL-Lite Planning Practical (Extended Abstract)},
booktitle = {Proceedings of the 34th International Workshop on Description Logics
{(DL} 2021) part of Bratislava Knowledge September {(BAKS} 2021),
Bratislava, Slovakia, September 19th to 22nd, 2021},
series = {{CEUR} Workshop Proceedings},
volume = {2954},
publisher = {CEUR-WS.org},
year = {2021},
url = {https://ceur-ws.org/Vol-2954/abstract-7.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:15 +0100},
biburl = {https://dblp.org/rec/conf/dlog/Borgwardt0KS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icmi/WiehrHSKKKBCDS021,
author = {Frederik Wiehr and
Anke Hirsch and
Lukas Schmitz and
Nina Knieriemen and
Antonio Kr{\"{u}}ger and
Alisa Kovtunova and
Stefan Borgwardt and
Ernie Chang and
Vera Demberg and
Marcel Steinmetz and
J{\"{o}}rg Hoffmann},
editor = {Zakia Hammal and
Carlos Busso and
Catherine Pelachaud and
Sharon L. Oviatt and
Albert Ali Salah and
Guoying Zhao},
title = {Why Do {I} Have to Take Over Control? Evaluating Safe Handovers with
Advance Notice and Explanations in {HAD}},
booktitle = {{ICMI} '21: International Conference on Multimodal Interaction, Montr{\'{e}}al,
QC, Canada, October 18-22, 2021},
pages = {308--317},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3462244.3479884},
doi = {10.1145/3462244.3479884},
timestamp = {Sat, 30 Sep 2023 09:45:54 +0200},
biburl = {https://dblp.org/rec/conf/icmi/WiehrHSKKKBCDS021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Borgwardt0KS21,
author = {Stefan Borgwardt and
J{\"{o}}rg Hoffmann and
Alisa Kovtunova and
Marcel Steinmetz},
editor = {Meghyn Bienvenu and
Gerhard Lakemeyer and
Esra Erdem},
title = {Making DL-Lite Planning Practical},
booktitle = {Proceedings of the 18th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2021, Online event, November
3-12, 2021},
pages = {641--645},
year = {2021},
url = {https://doi.org/10.24963/kr.2021/61},
doi = {10.24963/KR.2021/61},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/Borgwardt0KS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@misc{DBLP:data/10/BorgwardtHKS21,
author = {Stefan Borgwardt and
J{\"{o}}rg Hoffmann and
Alisa Kovtunova and
Marcel Steinmetz},
title = {Supplementary Material to "Making DL-Lite Planning Practical" (Version
1)},
publisher = {Zenodo},
year = {2021},
month = nov,
howpublished = {\url{https://doi.org/10.5281/zenodo.8139077}},
note = {Accessed on YYYY-MM-DD.},
url = {https://doi.org/10.5281/zenodo.8139077},
doi = {10.5281/ZENODO.8139077},
timestamp = {Thu, 12 Dec 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/data/10/BorgwardtHKS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@misc{DBLP:data/10/BorgwardtHKS21a,
author = {Stefan Borgwardt and
J{\"{o}}rg Hoffmann and
Alisa Kovtunova and
Marcel Steinmetz},
title = {Supplementary Material to "Making DL-Lite Planning Practical" (Version
2)},
publisher = {Zenodo},
year = {2021},
month = nov,
howpublished = {\url{https://doi.org/10.5281/zenodo.8139171}},
note = {Accessed on YYYY-MM-DD.},
url = {https://doi.org/10.5281/zenodo.8139171},
doi = {10.5281/ZENODO.8139171},
timestamp = {Thu, 12 Dec 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/data/10/BorgwardtHKS21a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/KlauckSHH20,
author = {Michaela Klauck and
Marcel Steinmetz and
J{\"{o}}rg Hoffmann and
Holger Hermanns},
title = {Bridging the Gap Between Probabilistic Model Checking and Probabilistic
Planning: Survey, Compilations, and Empirical Comparison},
journal = {J. Artif. Intell. Res.},
volume = {68},
pages = {247--310},
year = {2020},
url = {https://doi.org/10.1613/jair.1.11595},
doi = {10.1613/JAIR.1.11595},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jair/KlauckSHH20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/EiflerC0MS20,
author = {Rebecca Eifler and
Michael Cashmore and
J{\"{o}}rg Hoffmann and
Daniele Magazzeni and
Marcel Steinmetz},
title = {A New Approach to Plan-Space Explanation: Analyzing Plan-Property
Dependencies in Oversubscription Planning},
booktitle = {The Thirty-Fourth {AAAI} Conference on Artificial Intelligence, {AAAI}
2020, The Thirty-Second Innovative Applications of Artificial Intelligence
Conference, {IAAI} 2020, The Tenth {AAAI} Symposium on Educational
Advances in Artificial Intelligence, {EAAI} 2020, New York, NY, USA,
February 7-12, 2020},
pages = {9818--9826},
publisher = {{AAAI} Press},
year = {2020},
url = {https://doi.org/10.1609/aaai.v34i06.6534},
doi = {10.1609/AAAI.V34I06.6534},
timestamp = {Sat, 21 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/EiflerC0MS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/HoffmannHKSKM20,
author = {J{\"{o}}rg Hoffmann and
Holger Hermanns and
Michaela Klauck and
Marcel Steinmetz and
Erez Karpas and
Daniele Magazzeni},
title = {Let's Learn Their Language? {A} Case for Planning with Automata-Network
Languages from Model Checking},
booktitle = {The Thirty-Fourth {AAAI} Conference on Artificial Intelligence, {AAAI}
2020, The Thirty-Second Innovative Applications of Artificial Intelligence
Conference, {IAAI} 2020, The Tenth {AAAI} Symposium on Educational
Advances in Artificial Intelligence, {EAAI} 2020, New York, NY, USA,
February 7-12, 2020},
pages = {13569--13575},
publisher = {{AAAI} Press},
year = {2020},
url = {https://doi.org/10.1609/aaai.v34i09.7083},
doi = {10.1609/AAAI.V34I09.7083},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/HoffmannHKSKM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/GrosH0KS20,
author = {Timo P. Gros and
Holger Hermanns and
J{\"{o}}rg Hoffmann and
Michaela Klauck and
Marcel Steinmetz},
editor = {Alexey Gotsman and
Ana Sokolova},
title = {Deep Statistical Model Checking},
booktitle = {Formal Techniques for Distributed Objects, Components, and Systems
- 40th {IFIP} {WG} 6.1 International Conference, {FORTE} 2020, Held
as Part of the 15th International Federated Conference on Distributed
Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19,
2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12136},
pages = {96--114},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-50086-3\_6},
doi = {10.1007/978-3-030-50086-3\_6},
timestamp = {Wed, 10 Jun 2020 16:48:47 +0200},
biburl = {https://dblp.org/rec/conf/forte/GrosH0KS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/EiflerST020,
author = {Rebecca Eifler and
Marcel Steinmetz and
{\'{A}}lvaro Torralba and
J{\"{o}}rg Hoffmann},
editor = {Christian Bessiere},
title = {Plan-Space Explanation via Plan-Property Dependencies: Faster Algorithms
{\&} More Powerful Properties},
booktitle = {Proceedings of the Twenty-Ninth International Joint Conference on
Artificial Intelligence, {IJCAI} 2020},
pages = {4091--4097},
publisher = {ijcai.org},
year = {2020},
url = {https://doi.org/10.24963/ijcai.2020/566},
doi = {10.24963/IJCAI.2020/566},
timestamp = {Tue, 15 Oct 2024 16:43:28 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/EiflerST020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/GrosGGHKS20,
author = {Timo P. Gros and
David Gro{\ss} and
Stefan Gumhold and
J{\"{o}}rg Hoffmann and
Michaela Klauck and
Marcel Steinmetz},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {TraceVis: Towards Visualization for Deep Statistical Model Checking},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation:
Tools and Trends - 9th International Symposium on Leveraging Applications
of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020,
Proceedings, Part {IV}},
series = {Lecture Notes in Computer Science},
volume = {12479},
pages = {27--46},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-83723-5\_3},
doi = {10.1007/978-3-030-83723-5\_3},
timestamp = {Mon, 09 Aug 2021 09:09:23 +0200},
biburl = {https://dblp.org/rec/conf/isola/GrosGGHKS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/FaqehFH0KKSW20,
author = {Rasha Faqeh and
Christof Fetzer and
Holger Hermanns and
J{\"{o}}rg Hoffmann and
Michaela Klauck and
Maximilian A. K{\"{o}}hl and
Marcel Steinmetz and
Christoph Weidenbach},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Towards Dynamic Dependable Systems Through Evidence-Based Continuous
Certification},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation:
Engineering Principles - 9th International Symposium on Leveraging
Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October
20-30, 2020, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {12477},
pages = {416--439},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-61470-6\_25},
doi = {10.1007/978-3-030-61470-6\_25},
timestamp = {Wed, 28 Oct 2020 11:39:03 +0100},
biburl = {https://dblp.org/rec/conf/isola/FaqehFH0KKSW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2010-10967,
author = {Frederik Wiehr and
Anke Hirsch and
Florian Daiber and
Antonio Kr{\"{u}}ger and
Alisa Kovtunova and
Stefan Borgwardt and
Ernie Chang and
Vera Demberg and
Marcel Steinmetz and
J{\"{o}}rg Hoffmann},
title = {Safe Handover in Mixed-Initiative Control for Cyber-Physical Systems},
journal = {CoRR},
volume = {abs/2010.10967},
year = {2020},
url = {https://arxiv.org/abs/2010.10967},
eprinttype = {arXiv},
eprint = {2010.10967},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2010-10967.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/SteinmetzT19,
author = {Marcel Steinmetz and
{\'{A}}lvaro Torralba},
editor = {J. Benton and
Nir Lipovetzky and
Eva Onaindia and
David E. Smith and
Siddharth Srivastava},
title = {Bridging the Gap between Abstractions and Critical-Path Heuristics
via Hypergraphs},
booktitle = {Proceedings of the Twenty-Ninth International Conference on Automated
Planning and Scheduling, {ICAPS} 2019, Berkeley, CA, USA, July 11-15,
2019},
pages = {473--481},
publisher = {{AAAI} Press},
year = {2019},
url = {https://ojs.aaai.org/index.php/ICAPS/article/view/3512},
timestamp = {Tue, 20 Aug 2024 07:54:44 +0200},
biburl = {https://dblp.org/rec/conf/aips/SteinmetzT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/SpeicherS00K19,
author = {Patrick Speicher and
Marcel Steinmetz and
J{\"{o}}rg Hoffmann and
Michael Backes and
Robert K{\"{u}}nnemann},
editor = {Chih{-}Cheng Hung and
George A. Papadopoulos},
title = {Towards automated network mitigation analysis},
booktitle = {Proceedings of the 34th {ACM/SIGAPP} Symposium on Applied Computing,
{SAC} 2019, Limassol, Cyprus, April 8-12, 2019},
pages = {1971--1978},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3297280.3297473},
doi = {10.1145/3297280.3297473},
timestamp = {Sun, 02 Jun 2019 21:18:38 +0200},
biburl = {https://dblp.org/rec/conf/sac/SpeicherS00K19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/HahnHHKKKPQRS19,
author = {Ernst Moritz Hahn and
Arnd Hartmanns and
Christian Hensel and
Michaela Klauck and
Joachim Klein and
Jan Kret{\'{\i}}nsk{\'{y}} and
David Parker and
Tim Quatmann and
Enno Ruijters and
Marcel Steinmetz},
editor = {Dirk Beyer and
Marieke Huisman and
Fabrice Kordon and
Bernhard Steffen},
title = {The 2019 Comparison of Tools for the Analysis of Quantitative Formal
Models - (QComp 2019 Competition Report)},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 25 Years of {TACAS:} TOOLympics, Held as Part of {ETAPS} 2019, Prague,
Czech Republic, April 6-11, 2019, Proceedings, Part {III}},
series = {Lecture Notes in Computer Science},
volume = {11429},
pages = {69--92},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-17502-3\_5},
doi = {10.1007/978-3-030-17502-3\_5},
timestamp = {Fri, 09 Apr 2021 18:45:37 +0200},
biburl = {https://dblp.org/rec/conf/tacas/HahnHHKKKPQRS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/SpeicherS00K18,
author = {Patrick Speicher and
Marcel Steinmetz and
Michael Backes and
J{\"{o}}rg Hoffmann and
Robert K{\"{u}}nnemann},
editor = {Sheila A. McIlraith and
Kilian Q. Weinberger},
title = {Stackelberg Planning: Towards Effective Leader-Follower State Space
Search},
booktitle = {Proceedings of the Thirty-Second {AAAI} Conference on Artificial Intelligence,
(AAAI-18), the 30th innovative Applications of Artificial Intelligence
(IAAI-18), and the 8th {AAAI} Symposium on Educational Advances in
Artificial Intelligence (EAAI-18), New Orleans, Louisiana, USA, February
2-7, 2018},
pages = {6286--6293},
publisher = {{AAAI} Press},
year = {2018},
url = {https://doi.org/10.1609/aaai.v32i1.12090},
doi = {10.1609/AAAI.V32I1.12090},
timestamp = {Mon, 04 Sep 2023 12:29:24 +0200},
biburl = {https://dblp.org/rec/conf/aaai/SpeicherS00K18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/KlauckS0H18,
author = {Michaela Klauck and
Marcel Steinmetz and
J{\"{o}}rg Hoffmann and
Holger Hermanns},
editor = {Mathijs de Weerdt and
Sven Koenig and
Gabriele R{\"{o}}ger and
Matthijs T. J. Spaan},
title = {Compiling Probabilistic Model Checking into Probabilistic Planning},
booktitle = {Proceedings of the Twenty-Eighth International Conference on Automated
Planning and Scheduling, {ICAPS} 2018, Delft, The Netherlands, June
24-29, 2018},
pages = {150--154},
publisher = {{AAAI} Press},
year = {2018},
url = {https://aaai.org/ocs/index.php/ICAPS/ICAPS18/paper/view/17740},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aips/KlauckS0H18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/ShmaryahuS0S18,
author = {Dorin Shmaryahu and
Guy Shani and
J{\"{o}}rg Hoffmann and
Marcel Steinmetz},
editor = {Mathijs de Weerdt and
Sven Koenig and
Gabriele R{\"{o}}ger and
Matthijs T. J. Spaan},
title = {Simulated Penetration Testing as Contingent Planning},
booktitle = {Proceedings of the Twenty-Eighth International Conference on Automated
Planning and Scheduling, {ICAPS} 2018, Delft, The Netherlands, June
24-29, 2018},
pages = {241--249},
publisher = {{AAAI} Press},
year = {2018},
url = {https://aaai.org/ocs/index.php/ICAPS/ICAPS18/paper/view/17766},
timestamp = {Mon, 25 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aips/ShmaryahuS0S18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/WilhelmS018,
author = {Anna Wilhelm and
Marcel Steinmetz and
J{\"{o}}rg Hoffmann},
editor = {Mathijs de Weerdt and
Sven Koenig and
Gabriele R{\"{o}}ger and
Matthijs T. J. Spaan},
title = {On Stubborn Sets and Planning with Resources},
booktitle = {Proceedings of the Twenty-Eighth International Conference on Automated
Planning and Scheduling, {ICAPS} 2018, Delft, The Netherlands, June
24-29, 2018},
pages = {288--297},
publisher = {{AAAI} Press},
year = {2018},
url = {https://aaai.org/ocs/index.php/ICAPS/ICAPS18/paper/view/17723},
timestamp = {Mon, 25 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aips/WilhelmS018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosp/SpeicherSKSP0018,
author = {Patrick Speicher and
Marcel Steinmetz and
Robert K{\"{u}}nnemann and
Milivoj Simeonovski and
Giancarlo Pellegrino and
J{\"{o}}rg Hoffmann and
Michael Backes},
title = {Formally Reasoning about the Cost and Efficacy of Securing the Email
Infrastructure},
booktitle = {2018 {IEEE} European Symposium on Security and Privacy, EuroS{\&}P
2018, London, United Kingdom, April 24-26, 2018},
pages = {77--91},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/EuroSP.2018.00014},
doi = {10.1109/EUROSP.2018.00014},
timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
biburl = {https://dblp.org/rec/conf/eurosp/SpeicherSKSP0018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Steinmetz018,
author = {Marcel Steinmetz and
J{\"{o}}rg Hoffmann},
editor = {J{\'{e}}r{\^{o}}me Lang},
title = {{LP} Heuristics over Conjunctions: Compilation, Convergence, Nogood
Learning},
booktitle = {Proceedings of the Twenty-Seventh International Joint Conference on
Artificial Intelligence, {IJCAI} 2018, July 13-19, 2018, Stockholm,
Sweden},
pages = {4837--4843},
publisher = {ijcai.org},
year = {2018},
url = {https://doi.org/10.24963/ijcai.2018/672},
doi = {10.24963/IJCAI.2018/672},
timestamp = {Tue, 20 Aug 2019 16:19:08 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Steinmetz018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/SteinmetzH17,
author = {Marcel Steinmetz and
J{\"{o}}rg Hoffmann},
title = {State space search nogood learning: Online refinement of critical-path
dead-end detectors in planning},
journal = {Artif. Intell.},
volume = {245},
pages = {1--37},
year = {2017},
url = {https://doi.org/10.1016/j.artint.2016.12.002},
doi = {10.1016/J.ARTINT.2016.12.002},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/SteinmetzH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/SpeicherSG0G17,
author = {Patrick Speicher and
Marcel Steinmetz and
Daniel Gnad and
J{\"{o}}rg Hoffmann and
Alfonso Gerevini},
editor = {Laura Barbulescu and
Jeremy Frank and
Mausam and
Stephen F. Smith},
title = {Beyond Red-Black Planning: Limited-Memory State Variables},
booktitle = {Proceedings of the Twenty-Seventh International Conference on Automated
Planning and Scheduling, {ICAPS} 2017, Pittsburgh, Pennsylvania, USA,
June 18-23, 2017},
pages = {269--273},
publisher = {{AAAI} Press},
year = {2017},
url = {https://aaai.org/ocs/index.php/ICAPS/ICAPS17/paper/view/15713},
timestamp = {Wed, 20 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aips/SpeicherSG0G17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/Steinmetz017,
author = {Marcel Steinmetz and
J{\"{o}}rg Hoffmann},
editor = {Laura Barbulescu and
Jeremy Frank and
Mausam and
Stephen F. Smith},
title = {Critical-Path Dead-End Detection versus NoGoods: Offline Equivalence
and Online Learning},
booktitle = {Proceedings of the Twenty-Seventh International Conference on Automated
Planning and Scheduling, {ICAPS} 2017, Pittsburgh, Pennsylvania, USA,
June 18-23, 2017},
pages = {283--287},
publisher = {{AAAI} Press},
year = {2017},
url = {https://aaai.org/ocs/index.php/ICAPS/ICAPS17/paper/view/15642},
timestamp = {Tue, 26 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aips/Steinmetz017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Steinmetz017,
author = {Marcel Steinmetz and
J{\"{o}}rg Hoffmann},
editor = {Carles Sierra},
title = {Search and Learn: On Dead-End Detectors, the Traps they Set, and Trap
Learning},
booktitle = {Proceedings of the Twenty-Sixth International Joint Conference on
Artificial Intelligence, {IJCAI} 2017, Melbourne, Australia, August
19-25, 2017},
pages = {4398--4404},
publisher = {ijcai.org},
year = {2017},
url = {https://doi.org/10.24963/ijcai.2017/614},
doi = {10.24963/IJCAI.2017/614},
timestamp = {Tue, 20 Aug 2019 16:16:54 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Steinmetz017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/00010KSS17,
author = {Michael Backes and
J{\"{o}}rg Hoffmann and
Robert K{\"{u}}nnemann and
Patrick Speicher and
Marcel Steinmetz},
title = {Simulated Penetration Testing and Mitigation Analysis},
journal = {CoRR},
volume = {abs/1705.05088},
year = {2017},
url = {http://arxiv.org/abs/1705.05088},
eprinttype = {arXiv},
eprint = {1705.05088},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/00010KSS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/FickertHS16,
author = {Maximilian Fickert and
J{\"{o}}rg Hoffmann and
Marcel Steinmetz},
title = {Combining the Delete Relaxation with Critical-Path Heuristics: {A}
Direct Characterization},
journal = {J. Artif. Intell. Res.},
volume = {56},
pages = {269--327},
year = {2016},
url = {https://doi.org/10.1613/jair.5057},
doi = {10.1613/JAIR.5057},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jair/FickertHS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/SteinmetzHB16,
author = {Marcel Steinmetz and
J{\"{o}}rg Hoffmann and
Olivier Buffet},
title = {Goal Probability Analysis in Probabilistic Planning: Exploring and
Enhancing the State of the Art},
journal = {J. Artif. Intell. Res.},
volume = {57},
pages = {229--271},
year = {2016},
url = {https://doi.org/10.1613/jair.5153},
doi = {10.1613/JAIR.5153},
timestamp = {Mon, 21 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jair/SteinmetzHB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/SteinmetzH16,
author = {Marcel Steinmetz and
J{\"{o}}rg Hoffmann},
editor = {Dale Schuurmans and
Michael P. Wellman},
title = {Towards Clause-Learning State Space Search: Learning to Recognize
Dead-Ends},
booktitle = {Proceedings of the Thirtieth {AAAI} Conference on Artificial Intelligence,
February 12-17, 2016, Phoenix, Arizona, {USA}},
pages = {760--768},
publisher = {{AAAI} Press},
year = {2016},
url = {https://doi.org/10.1609/aaai.v30i1.10062},
doi = {10.1609/AAAI.V30I1.10062},
timestamp = {Mon, 04 Sep 2023 15:08:28 +0200},
biburl = {https://dblp.org/rec/conf/aaai/SteinmetzH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/SteinmetzHB16,
author = {Marcel Steinmetz and
J{\"{o}}rg Hoffmann and
Olivier Buffet},
editor = {Amanda Jane Coles and
Andrew Coles and
Stefan Edelkamp and
Daniele Magazzeni and
Scott Sanner},
title = {Revisiting Goal Probability Analysis in Probabilistic Planning},
booktitle = {Proceedings of the Twenty-Sixth International Conference on Automated
Planning and Scheduling, {ICAPS} 2016, London, UK, June 12-17, 2016},
pages = {299--307},
publisher = {{AAAI} Press},
year = {2016},
url = {http://www.aaai.org/ocs/index.php/ICAPS/ICAPS16/paper/view/13005},
timestamp = {Thu, 23 Jun 2016 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aips/SteinmetzHB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/socs/GnadSJ0SG16,
author = {Daniel Gnad and
Marcel Steinmetz and
Math{\"{a}}us Jany and
J{\"{o}}rg Hoffmann and
Ivan Serina and
Alfonso Gerevini},
editor = {Jorge A. Baier and
Adi Botea},
title = {Partial Delete Relaxation, Unchained: On Intractable Red-Black Planning
and Its Applications},
booktitle = {Proceedings of the Ninth Annual Symposium on Combinatorial Search,
{SOCS} 2016, Tarrytown, NY, USA, July 6-8, 2016},
pages = {45--53},
publisher = {{AAAI} Press},
year = {2016},
url = {https://doi.org/10.1609/socs.v7i1.18391},
doi = {10.1609/SOCS.V7I1.18391},
timestamp = {Mon, 18 Dec 2023 04:11:03 +0100},
biburl = {https://dblp.org/rec/conf/socs/GnadSJ0SG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
