Dr. Martin Wehrle – Publications

(Show all abstracts) (Hide all abstracts)

2017

  • Dominik Winterer, Yusra Alkhazraji, Michael Katz and Martin Wehrle.
    Stubborn Sets for Fully Observable Nondeterministic Planning.
    In Proceedings of the 27th International Conference on Automated Planning and Scheduling (ICAPS 2017), pp. 330-338. 2017.
    (Show abstract)

  • Silvan Sievers, Gabriele Röger, Martin Wehrle and Michael Katz.
    Structural Symmetries of the Lifted Representation of Classical Planning Tasks.
    In Proceedings of the ICAPS-2017 Workshop on Heuristics and Search for Domain-independent Planning (HSDIP 2017), pp. 67-74. 2017.
    (Show abstract) (PDF) (slides; PDF)

  • Silvan Sievers, Martin Wehrle, Malte Helmert and Michael Katz.
    Strengthening Canonical Pattern Databases with Structural Symmetries.
    In Proceedings of the ICAPS-2017 Workshop on Heuristics and Search for Domain-independent Planning (HSDIP 2017), pp. 75-83. 2017.
    Superseded by the SoCS 2017 paper by the same name.
    (Show abstract) (PDF) (slides; PDF)

  • Silvan Sievers, Martin Wehrle, Malte Helmert and Michael Katz.
    Strengthening Canonical Pattern Databases with Structural Symmetries.
    In Proceedings of the 10th Annual Symposium on Combinatorial Search (SoCS 2017), pp. 91-99. 2017.
    (Show abstract) (PDF) (slides; PDF)

2016

  • Martin Wehrle, Silvan Sievers and Malte Helmert.
    Graph-Based Factorization of Classical Planning Problems.
    In Proceedings of the 25th International Joint Conference on Artificial Intelligence (IJCAI 2016), pp. 3286-3292. 2016.
    (Show abstract) (PDF)

  • Sergiy Bogomolov, Alexandre Donzé, Goran Frehse, Radu Grosu, Taylor T. Johnson, Hamed Ladan, Andreas Podelski and Martin Wehrle.
    Guided Search for Hybrid Systems Based on Coarse-Grained Space Abstractions.
    International Journal on Software Tools for Technology Transfer 18 (4), pp. 449-467. 2016.
    (Show abstract) (PDF)

  • Daniel Gnad, Martin Wehrle and Jörg Hoffmann.
    Decoupled Strong Stubborn Sets.
    In Proceedings of the 25th International Joint Conference on Artificial Intelligence (IJCAI 2016), pp. 3110-3116. 2016.
    Note: A non-archival version of this paper has also been presented at the HSDIP workshop at ICAPS 2016.
    (Show abstract) (PDF)

  • Dominik Winterer, Martin Wehrle and Michael Katz.
    Structural Symmetries for Fully Observable Nondeterministic Planning.
    In Proceedings of the 25th International Joint Conference on Artificial Intelligence (IJCAI 2016), pp. 3293-3299. 2016.
    (Show abstract) (PDF)

  • Yusra Alkhazraji and Martin Wehrle.
    Sleep Sets Meet Duplicate Elimination.
    In Proceedings of the 9th Annual Symposium on Combinatorial Search (SoCS 2016), pp. 2-9. 2016.
    (Show abstract) (PDF)

  • Jendrik Seipp, Florian Pommerening, Silvan Sievers, Martin Wehrle, Chris Fawcett and Yusra Alkhazraji.
    Fast Downward Aidos (planner abstract).
    In First Unsolvability International Planning Competition. 2016.
    (PDF)

  • Daniel Gnad, Álvaro Torralba, Jörg Hoffmann and Martin Wehrle.
    Decoupled Search for Proving Unsolvability (planner abstract).
    In First Unsolvability International Planning Competition. 2016.
    (PDF)

  • Silvan Sievers, Martin Wehrle and Malte Helmert.
    An Analysis of Merge Strategies for Merge-and-Shrink Heuristics.
    In Proceedings of the 26th International Conference on Automated Planning and Scheduling (ICAPS 2016), pp. 294-298. 2016.
    (Show abstract) (PDF) (technical report; PDF) (slides; PDF)

  • Martin Wehrle and Sebastian Kupferschmid.
    Downward Pattern Refinement for Timed Automata.
    International Journal on Software Tools for Technology Transfer 18 (1), pp. 41-56. 2016.
    (Show abstract) (PDF)

2015

  • Silvan Sievers, Martin Wehrle, Malte Helmert and Michael Katz.
    An Empirical Case Study on Symmetry Handling in Cost-Optimal Planning as Heuristic Search.
    In Proceedings of the 38th Annual German Conference on Artificial Intelligence (KI 2015), pp. 166-180. 2015.
    (Show abstract) (PDF) (slides; PDF)

  • Ahmad Siyar Andisha, Martin Wehrle and Bernd Westphal.
    Directed Model Checking for PROMELA with Relaxation-Based Distance Functions.
    In Proceedings of the 22nd International SPIN Symposium on Model Checking of Software (SPIN 2015), pp. 153-159. 2015.
    (Show abstract) (PDF)

  • Martin Wehrle, Malte Helmert, Alexander Shleyfman and Michael Katz.
    Integrating Partial Order Reduction and Symmetry Elimination for Cost-Optimal Classical Planning.
    In Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI 2015), pp. 1712-1718. 2015.
    (Show abstract) (PDF) (technical report; PDF)

  • Sascha Scherrer, Florian Pommerening and Martin Wehrle.
    Improved Pattern Selection for PDB Heuristics in Classical Planning (Extended Abstract).
    In Proceedings of the 8th Annual Symposium on Combinatorial Search (SoCS 2015), pp. 216-217. 2015.
    (Show abstract) (PDF) (poster; PDF)

  • Sergiy Bogomolov, Daniele Magazzeni, Stefano Minopoli and Martin Wehrle.
    PDDL+ Planning with Hybrid Automata: Foundations of Translating Must Behavior.
    In Proceedings of the 25th International Conference on Automated Planning and Scheduling (ICAPS 2015), pp. 42-46. 2015.
    (Show abstract) (PDF)

  • Dominik Winterer, Robert Mattmüller and Martin Wehrle.
    Stubborn Sets for Fully Observable Nondeterministic Planning.
    In Proceedings of the ICAPS-2015 Workshop on Model Checking and Automated Planning (MOCHAP), pp. 6-12. 2015.
    (Show abstract) (PDF)

  • Alexander Shleyfman, Michael Katz, Malte Helmert, Silvan Sievers and Martin Wehrle.
    Heuristics and Symmetries in Classical Planning.
    In Proceedings of the 29th AAAI Conference on Artificial Intelligence (AAAI 2015), pp. 3371-3377. 2015.
    (Show abstract) (PDF) (technical report; PDF)

  • Silvan Sievers, Martin Wehrle, Malte Helmert, Alexander Shleyfman and Michael Katz.
    Factored Symmetries for Merge-and-Shrink Abstractions.
    In Proceedings of the 29th AAAI Conference on Artificial Intelligence (AAAI 2015), pp. 3378-3385. 2015.
    (Show abstract) (PDF)

  • Robert C. Holte, Yusra Alkhazraji and Martin Wehrle.
    A Generalization of Sleep Sets Based on Operator Sequence Redundancy.
    In Proceedings of the 29th AAAI Conference on Artificial Intelligence (AAAI 2015), pp. 3291-3297. 2015.
    (Show abstract) (PDF)

2014

  • Silvan Sievers, Martin Wehrle and Malte Helmert.
    Bounded Intention Planning Revisited.
    In Proceedings of the 21st European Conference on Artificial Intelligence (ECAI 2014), pp. 1097-1098. 2014.
    Erratum: On the first page, right column, the paper describes a zero-cost "freeze operator intention" operator Freeze(v, x). In addition to the stated precondition and effect, there should also be a prevail condition: prv[v]=x.
    (Show abstract) (PDF) (technical report; PDF)

  • Silvan Sievers, Martin Wehrle and Malte Helmert.
    Generalized Label Reduction for Merge-and-Shrink Heuristics.
    In Proceedings of the 28th AAAI Conference on Artificial Intelligence (AAAI 2014), pp. 2358-2366. 2014.
    (Show abstract) (PDF) (slides; PDF)

  • Sergiy Bogomolov, Daniele Magazzeni, Andreas Podelski and Martin Wehrle.
    Planning as Model Checking in Hybrid Domains.
    In Proceedings of the 28th AAAI Conference on Artificial Intelligence (AAAI 2014), pp. 2228-2234. 2014.
    (Show abstract) (PDF)

  • Johannes Löhr, Martin Wehrle, Maria Fox and Bernhard Nebel.
    Symbolic Domain Predictive Control.
    In Proceedings of the 28th AAAI Conference on Artificial Intelligence (AAAI 2014), pp. 2315-2321. 2014.
    (Show abstract) (PDF)

  • Stephan Arlt, Andreas Podelski and Martin Wehrle.
    Reducing GUI Test Suites via Program Slicing.
    In Proceedings of the International Symposium on Software Testing and Analysis (ISSTA 2014), pp. 270-281. 2014.
    (Show abstract) (PDF)

  • Yusra Alkhazraji, Michael Katz, Robert Mattmüller, Florian Pommerening, Alexander Shleyfman and Martin Wehrle.
    Metis: Arming Fast Downward with Pruning and Incremental Computation.
    In Eighth International Planning Competition (IPC 2014), Deterministic Part, pp. 88-92. 2014.
    (PDF)

  • Martin Wehrle and Malte Helmert.
    Efficient Stubborn Sets: Generalized Algorithms and Selection Strategies.
    In Proceedings of the 24th International Conference on Automated Planning and Scheduling (ICAPS 2014), pp. 323-331. 2014.
    (Show abstract) (PDF)

  • Manuel Heusner, Martin Wehrle, Florian Pommerening and Malte Helmert.
    Under-Approximation Refinement for Classical Planning.
    In Proceedings of the 24th International Conference on Automated Planning and Scheduling (ICAPS 2014), pp. 365-369. 2014.
    (Show abstract) (PDF)

  • Silvan Sievers, Martin Wehrle and Malte Helmert.
    Generalized Label Reduction for Merge-and-Shrink Heuristics.
    In Proceedings of the ICAPS-2014 Workshop on Heuristics and Search for Domain-independent Planning (HSDIP), pp. 107-115. 2014.
    Superseded by the AAAI 2014 paper by the same name.
    (Show abstract) (PDF)

2013

  • Sergiy Bogomolov, Alexandre Donzé, Goran Frehse, Radu Grosu, Taylor T. Johnson, Hamed Ladan, Andreas Podelski and Martin Wehrle.
    Abstraction-Based Guided Search for Hybrid Systems.
    In Proceedings of the 20th International SPIN Symposium on Model Checking of Software (SPIN 2013), pp. 117-134. 2013.
    (Show abstract) (PDF)

  • Martin Wehrle, Malte Helmert, Yusra Alkhazraji and Robert Mattmüller.
    The Relative Pruning Power of Strong Stubborn Sets and Expansion Core.
    In Proceedings of the 23rd International Conference on Automated Planning and Scheduling (ICAPS 2013), pp. 251-259. 2013.
    (Show abstract) (PDF) (technical report; PDF)

2012

  • Martin Wehrle and Sebastian Kupferschmid.
    Mcta: Heuristics and Search for Timed Systems.
    In Proceedings of the 10th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2012), pp. 252-266. 2012.
    (Show abstract) (PDF)

  • Yusra Alkhazraji, Martin Wehrle, Robert Mattmüller and Malte Helmert.
    A Stubborn Set Algorithm for Optimal Planning.
    In Proceedings of the 20th European Conference on Artificial Intelligence (ECAI 2012), pp. 891-892. 2012.
    (Show abstract) (PDF)

  • Sergiy Bogomolov, Goran Frehse, Radu Grosu, Hamed Ladan, Andreas Podelski and Martin Wehrle.
    A Box-based Distance between Regions for Guiding the Reachability Analysis of SpaceEx.
    In Proceedings of the 24th International Conference on Computer Aided Verification (CAV 2012), pp. 479-494. 2012.
    (Show abstract) (PDF)

  • Martin Wehrle and Malte Helmert.
    About Partial Order Reduction in Planning and Computer Aided Verification.
    In Proceedings of the 22nd International Conference on Automated Planning and Scheduling (ICAPS 2012), pp. 297-305. 2012.
    (Show abstract) (PDF)

  • Martin Wehrle.
    Transition-Based Directed Model Checking.
    Dissertation, Albert-Ludwigs-Universität Freiburg, Germany, 2012.
    (PDF)

2011

  • Sebastian Kupferschmid and Martin Wehrle.
    Abstractions and Pattern Databases: The Quest for Succinctness and Accuracy.
    In Proceedings of the 17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2011), pp. 276-290. 2011.
    (Show abstract) (PDF) (BIB)

2010

  • Martin Wehrle and Sebastian Kupferschmid.
    Context-Enhanced Directed Model Checking.
    In Proceedings of the 17th International SPIN Workshop on Model Checking of Software (SPIN 2010), pp. 88-105. 2010.
    (Show abstract) (PDF) (BIB)

2009

  • Martin Wehrle and Malte Helmert.
    The Causal Graph Revisited for Directed Model Checking.
    In Proceedings of the 16th International Static Analysis Symposium (SAS 2009), pp. 86-101. 2009.
    Erratum: The first paragraph of Section 4 of the paper contains the following statement: "For now, let us just remark that deciding the existence of error traces is already PSPACE-complete for systems with acyclic causal graphs, even under the further restriction that all processes have only two locations [1]." However, the reference only shows that this problem variant is NP-hard. A proof of PSPACE-completeness has been given by Jonsson, Jonsson and Lööw (AIJ 210:36-55, 2014)..
    (Show abstract) (PDF) (Dagstuhl abstract; PDF)

  • Martin Wehrle, Sebastian Kupferschmid and Andreas Podelski.
    Transition-Based Directed Model Checking.
    In Proceedings of the 15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2009), pp. 186-200. 2009.
    (Show abstract) (PDF) (BIB)

2008

  • Martin Wehrle, Sebastian Kupferschmid and Andreas Podelski.
    Useless Actions are Useful.
    In Proceedings of the 18th International Conference on Automated Planning and Scheduling (ICAPS 2008), pp. 388-395. 2008.
    Note: The version available for download here contains a correction of Proposition 1.
    (Show abstract) (PDF) (BIB)

  • Sebastian Kupferschmid, Martin Wehrle, Bernhard Nebel and Andreas Podelski.
    Faster than Uppaal?
    In Proceedings of the 20th International Conference on Computer Aided Verification (CAV 2008), pp. 552-555. 2008.
    (Show abstract) (PDF) (BIB)

2007

  • Martin Wehrle and Jussi Rintanen.
    Planning as Satisfiability with Relaxed E-Step Plans.
    In AI 2007: Advances in Artificial Intelligence: 20th Australian Joint Conference on Artificial Intelligence, Proceedings, pp. 244-253. 2007.
    (Show abstract) (PDF) (BIB)