![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Martin Wehrle
Person information
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2021
- [c39]Silvan Sievers, Martin Wehrle:
On Weak Stubborn Sets in Classical Planning. IJCAI 2021: 4167-4174
2010 – 2019
- 2019
- [j3]Daniel Gnad
, Jörg Hoffmann, Martin Wehrle:
Strong Stubborn Set Pruning for Star-Topology Decoupled State Space Search. J. Artif. Intell. Res. 65: 343-392 (2019) - [c38]Alexander Heinz, Martin Wehrle, Sergiy Bogomolov, Daniele Magazzeni, Marius Greitschus, Andreas Podelski:
Temporal Planning as Refinement-Based Model Checking. ICAPS 2019: 195-199 - [c37]Silvan Sievers, Gabriele Röger, Martin Wehrle, Michael Katz:
Theoretical Foundations for Structural Symmetries of Lifted PDDL Tasks. ICAPS 2019: 446-454 - 2017
- [c36]Dominik Winterer, Yusra Alkhazraji, Michael Katz, Martin Wehrle:
Stubborn Sets for Fully Observable Nondeterministic Planning. ICAPS 2017: 330-338 - [c35]Silvan Sievers, Martin Wehrle, Malte Helmert, Michael Katz:
Strengthening Canonical Pattern Databases with Structural Symmetries. SOCS 2017: 91-99 - 2016
- [j2]Martin Wehrle, Sebastian Kupferschmid:
Downward pattern refinement for timed automata. Int. J. Softw. Tools Technol. Transf. 18(1): 41-56 (2016) - [j1]Sergiy Bogomolov
, Alexandre Donzé
, Goran Frehse
, Radu Grosu, Taylor T. Johnson
, Hamed Ladan, Andreas Podelski, Martin Wehrle:
Guided search for hybrid systems based on coarse-grained space abstractions. Int. J. Softw. Tools Technol. Transf. 18(4): 449-467 (2016) - [c34]Silvan Sievers, Martin Wehrle, Malte Helmert:
An Analysis of Merge Strategies for Merge-and-Shrink Heuristics. ICAPS 2016: 294-298 - [c33]Daniel Gnad, Martin Wehrle, Jörg Hoffmann:
Decoupled Strong Stubborn Sets. IJCAI 2016: 3110-3116 - [c32]Martin Wehrle, Silvan Sievers, Malte Helmert:
Graph-Based Factorization of Classical Planning Problems. IJCAI 2016: 3286-3292 - [c31]Dominik Winterer, Martin Wehrle, Michael Katz:
Structural Symmetries for Fully Observable Nondeterministic Planning. IJCAI 2016: 3293-3299 - [c30]Yusra Alkhazraji, Martin Wehrle:
Sleep Sets Meet Duplicate Elimination. SOCS 2016: 2-9 - 2015
- [c29]Robert C. Holte, Yusra Alkhazraji, Martin Wehrle:
A Generalization of Sleep Sets Based on Operator Sequence Redundancy. AAAI 2015: 3291-3297 - [c28]Alexander Shleyfman, Michael Katz, Malte Helmert, Silvan Sievers, Martin Wehrle:
Heuristics and Symmetries in Classical Planning. AAAI 2015: 3371-3377 - [c27]Silvan Sievers, Martin Wehrle, Malte Helmert, Alexander Shleyfman, Michael Katz:
Factored Symmetries for Merge-and-Shrink Abstractions. AAAI 2015: 3378-3385 - [c26]Sergiy Bogomolov, Daniele Magazzeni, Stefano Minopoli, Martin Wehrle:
PDDL+ Planning with Hybrid Automata: Foundations of Translating Must Behavior. ICAPS 2015: 42-46 - [c25]Martin Wehrle, Malte Helmert, Alexander Shleyfman, Michael Katz:
Integrating Partial Order Reduction and Symmetry Elimination for Cost-Optimal Classical Planning. IJCAI 2015: 1712-1718 - [c24]Silvan Sievers, Martin Wehrle, Malte Helmert, Michael Katz:
An Empirical Case Study on Symmetry Handling in Cost-Optimal Planning as Heuristic Search. KI 2015: 166-180 - [c23]Stephan Arlt, Sergio Feo-Arenis, Andreas Podelski, Martin Wehrle:
System Testing and Program Verification. Software Engineering & Management 2015: 71-72 - [c22]Sascha Scherrer, Florian Pommerening, Martin Wehrle:
Improved Pattern Selection for PDB Heuristics in Classical Planning (Extended Abstract). SOCS 2015: 216-217 - [c21]Ahmad Siyar Andisha, Martin Wehrle, Bernd Westphal:
Directed Model Checking for PROMELA with Relaxation-Based Distance Functions. SPIN 2015: 153-159 - 2014
- [c20]Sergiy Bogomolov, Daniele Magazzeni, Andreas Podelski, Martin Wehrle:
Planning as Model Checking in Hybrid Domains. AAAI 2014: 2228-2234 - [c19]Johannes Löhr, Martin Wehrle, Maria Fox, Bernhard Nebel:
Symbolic Domain Predictive Control. AAAI 2014: 2315-2321 - [c18]Silvan Sievers, Martin Wehrle, Malte Helmert:
Generalized Label Reduction for Merge-and-Shrink Heuristics. AAAI 2014: 2358-2366 - [c17]Manuel Heusner, Martin Wehrle, Florian Pommerening, Malte Helmert:
Under-Approximation Refinement for Classical Planning. ICAPS 2014 - [c16]Martin Wehrle, Malte Helmert:
Efficient Stubborn Sets: Generalized Algorithms and Selection Strategies. ICAPS 2014 - [c15]Silvan Sievers, Martin Wehrle, Malte Helmert:
Bounded Intention Planning Revisited. ECAI 2014: 1097-1098 - [c14]Stephan Arlt, Andreas Podelski, Martin Wehrle:
Reducing GUI test suites via program slicing. ISSTA 2014: 270-281 - 2013
- [c13]Martin Wehrle, Malte Helmert, Yusra Alkhazraji, Robert Mattmüller:
The Relative Pruning Power of Strong Stubborn Sets and Expansion Core. ICAPS 2013 - [c12]Sergiy Bogomolov, Alexandre Donzé, Goran Frehse, Radu Grosu, Taylor T. Johnson
, Hamed Ladan, Andreas Podelski, Martin Wehrle:
Abstraction-Based Guided Search for Hybrid Systems. SPIN 2013: 117-134 - 2012
- [c11]Martin Wehrle, Malte Helmert:
About Partial Order Reduction in Planning and Computer Aided Verification. ICAPS 2012 - [c10]Sergiy Bogomolov
, Goran Frehse
, Radu Grosu, Hamed Ladan, Andreas Podelski, Martin Wehrle:
A Box-Based Distance between Regions for Guiding the Reachability Analysis of SpaceEx. CAV 2012: 479-494 - [c9]Yusra Alkhazraji, Martin Wehrle, Robert Mattmüller, Malte Helmert:
A Stubborn Set Algorithm for Optimal Planning. ECAI 2012: 891-892 - [c8]Martin Wehrle, Sebastian Kupferschmid:
Mcta: Heuristics and Search for Timed Systems. FORMATS 2012: 252-266 - 2011
- [b1]Martin Wehrle:
Transition-based directed model checking = Transitionsbasierte gerichtete Modellprüfung. University of Freiburg, Germany, 2011 - [c7]Sebastian Kupferschmid, Martin Wehrle:
Abstractions and Pattern Databases: The Quest for Succinctness and Accuracy. TACAS 2011: 276-290 - 2010
- [c6]Martin Wehrle, Sebastian Kupferschmid:
Context-Enhanced Directed Model Checking. SPIN 2010: 88-105
2000 – 2009
- 2009
- [c5]Martin Wehrle, Malte Helmert:
The Causal Graph Revisited for Directed Model Checking. SAS 2009: 86-101 - [c4]Martin Wehrle, Sebastian Kupferschmid, Andreas Podelski:
Transition-Based Directed Model Checking. TACAS 2009: 186-200 - 2008
- [c3]Martin Wehrle, Sebastian Kupferschmid, Andreas Podelski:
Useless Actions Are Useful. ICAPS 2008: 388-395 - [c2]Sebastian Kupferschmid, Martin Wehrle, Bernhard Nebel
, Andreas Podelski:
Faster Than Uppaal? CAV 2008: 552-555 - 2007
- [c1]Martin Wehrle, Jussi Rintanen:
Planning as Satisfiability with Relaxed $-Step Plans. Australian Conference on Artificial Intelligence 2007: 244-253
Coauthor Index
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 22:56 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint