Martin Wehrle

Cited by

	All	Since 2019
Citations	1058	461
h-index	19	13
i10-index	29	14

160

120

200820092010201120122013201420152016201720182019202020212022202320246 11 9 19 22 17 39 78 143 147 100 79 88 88 72 89 45

Public access

View all

45 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Malte HelmertProfessor of Computer Science, University of BaselVerified email at unibas.ch
Silvan SieversPost-Doc, University of BaselVerified email at unibas.ch
Andreas PodelskiProfessor of Computer Science, Freiburg UniversityVerified email at informatik.uni-freiburg.de
Michael KatzPrincipal Research Staff Member, IBM Research AIVerified email at ibm.com
Sergiy BogomolovReader / Associate Professor in Cyber-Physical Systems, Newcastle UniversityVerified email at newcastle.ac.uk
Daniele MagazzeniJ.P. Morgan. Chief Analytics Officer for the Commercial and Investment BankVerified email at jpmorgan.com
Robert MattmüllerUniversity of Freiburg, GermanyVerified email at robert-mattmueller.de
Florian PommereningUniversity of BaselVerified email at unibas.ch
Radu GrosuProfessor of Computer ScienceVerified email at tuwien.ac.at
Goran FrehseProfessor of Computer Science, ENSTA ParisVerified email at ensta-paris.fr
Joerg HoffmannProfessor, Saarland Informatics Campus, Saarland University and German Research Center for AI (DFKI)Verified email at cs.uni-saarland.de
Taylor T JohnsonAssociate Professor, Computer Science, Vanderbilt UniversityVerified email at vanderbilt.edu
Daniel GnadLinköping University, SwedenVerified email at liu.se
Stefano MinopoliCollins Aerospace - Applied Research and TechnologyVerified email at collins.com
Bernhard NebelProfessor für Informatik, Universität FreiburgVerified email at uni-freiburg.de
Stephan ArltFederal Office for Information SecurityVerified email at bsi.bund.de
Jussi RintanenAalto UniversityVerified email at aalto.fi
Maria FoxBritish Antarctic SurveyVerified email at bas.ac.uk
Robert HolteUniversity of AlbertaVerified email at ualberta.ca
Sergio Feo-ArenisUniversity of FreiburgVerified email at informatik.uni-freiburg.de

Martin Wehrle

Unknown affiliation

Verified email at informatik.uni-freiburg.de


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Heuristics and symmetries in classical planning A Shleyfman, M Katz, M Helmert, S Sievers, M Wehrle Proceedings of the AAAI Conference on Artificial Intelligence 29 (1), 2015	74	2015
Generalized Label Reduction for Merge-and-Shrink Heuristics S Sievers, M Wehrle, M Helmert 28th AAAI Conference on Artificial Intelligence, 2014	73	2014
Efficient Stubborn Sets: Generalized Algorithms and Selection Strategies M Wehrle, M Helmert International Conference on Automated Planning and Scheduling, 2014	69	2014
About Partial Order Reduction in Planning and Computer Aided Verification. M Wehrle, M Helmert International Conference on Automated Planning and Scheduling, 2012	61	2012
Planning as satisfiability with relaxed-step plans M Wehrle, J Rintanen Australasian Joint Conference on Artificial Intelligence, 244-253, 2007	60	2007
Planning as Model Checking in Hybrid Domains S Bogomolov, D Magazzeni, A Podelski, M Wehrle 28th AAAI Conference on Artificial Intelligence, 2014	59	2014
An analysis of merge strategies for merge-and-shrink heuristics S Sievers, M Wehrle, M Helmert Proceedings of the International Conference on Automated Planning and …, 2016	48	2016
A stubborn set algorithm for optimal planning Y Alkhazraji, M Wehrle, R Mattmüller, M Helmert ECAI 2012, 891-892, 2012	46	2012
PDDL+ planning with hybrid automata: Foundations of translating must behavior S Bogomolov, D Magazzeni, S Minopoli, M Wehrle Proceedings of the International Conference on Automated Planning and …, 2015	42	2015
The Relative Pruning Power of Strong Stubborn Sets and Expansion Core. M Wehrle, M Helmert, Y Alkhazraji, R Mattmüller International Conference on Automated Planning and Scheduling, 2013	41	2013
Guided search for hybrid systems based on coarse-grained space abstractions S Bogomolov, A Donzé, G Frehse, R Grosu, TT Johnson, H Ladan, ... International Journal on Software Tools for Technology Transfer 18, 449-467, 2016	35	2016
Theoretical foundations for structural symmetries of lifted PDDL tasks S Sievers, G Röger, M Wehrle, M Katz Proceedings of the International Conference on Automated Planning and …, 2019	31	2019
Reducing GUI Test Suites via Program Slicing S Arlt, A Podelski, M Wehrle International Symposium on Software Testing and Analysis, 2014	31	2014
Faster Than Uppaal? Tool Paper S Kupferschmid, M Wehrle, B Nebel, A Podelski Computer Aided Verification: 20th International Conference, CAV 2008 …, 2008	31	2008
Factored symmetries for merge-and-shrink abstractions S Sievers, M Wehrle, M Helmert, A Shleyfman, M Katz Proceedings of the AAAI Conference on Artificial Intelligence 29 (1), 2015	27	2015
Fast downward aidos J Seipp, F Pommerening, S Sievers, M Wehrle, C Fawcett, Y Alkhazraji UIPC 2016 planner abstracts, 28-38, 2016	23	2016
Abstraction-based guided search for hybrid systems S Bogomolov, A Donzé, G Frehse, R Grosu, TT Johnson, H Ladan, ... Model Checking Software: 20th International Symposium, SPIN 2013, Stony …, 2013	23	2013
Metis: Arming fast downward with pruning and incremental computation Y Alkhazraji, M Katz, R Mattmüller, F Pommerening, A Shleyfman, ... International Planning Competition (IPC), 88-92, 2014	22	2014
A box-based distance between regions for guiding the reachability analysis of SpaceEx S Bogomolov, G Frehse, R Grosu, H Ladan, A Podelski, M Wehrle Computer Aided Verification: 24th International Conference, CAV 2012 …, 2012	22	2012
Integrating partial order reduction and symmetry elimination for cost-optimal classical planning M Wehrle, M Helmert, A Shleyfman, M Katz AAAI Press, 2015	18	2015

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors