Martin Wehrle

Cited by

	All	Since 2020
Citations	1083	404
h-index	19	11
i10-index	29	14

160

120

2008200920102011201220132014201520162017201820192020202120222023202420256 12 9 19 22 17 40 78 141 147 100 81 89 88 72 88 62 5

Public access

View all

44 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
Taylor T JohnsonAssociate Professor, Computer Science, Vanderbilt UniversityVerified email at vanderbilt.edu
Stefano MinopoliCollins Aerospace - Applied Research and TechnologyVerified email at collins.com
Bernhard NebelProfessor für Informatik, Universität FreiburgVerified email at uni-freiburg.de
Joerg HoffmannProfessor, Saarland Informatics Campus, Saarland University and German Research Center for AI (DFKI)Verified email at cs.uni-saarland.de
Stephan ArltFederal Office for Information SecurityVerified email at bsi.bund.de
Jussi RintanenAalto UniversityVerified email at aalto.fi
Daniel GnadLinköping University, SwedenVerified email at liu.se
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	77	2015
Generalized Label Reduction for Merge-and-Shrink Heuristics S Sievers, M Wehrle, M Helmert 28th AAAI Conference on Artificial Intelligence, 2014	75	2014
Efficient Stubborn Sets: Generalized Algorithms and Selection Strategies M Wehrle, M Helmert International Conference on Automated Planning and Scheduling, 2014	70	2014
Planning as Model Checking in Hybrid Domains S Bogomolov, D Magazzeni, A Podelski, M Wehrle 28th AAAI Conference on Artificial Intelligence, 2014	62	2014
About Partial Order Reduction in Planning and Computer Aided Verification. M Wehrle, M Helmert International Conference on Automated Planning and Scheduling, 2012	62	2012
Planning as satisfiability with relaxed-step plans M Wehrle, J Rintanen Australasian Joint Conference on Artificial Intelligence, 244-253, 2007	59	2007
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	50	2016
A stubborn set algorithm for optimal planning Y Alkhazraji, M Wehrle, R Mattmüller, M Helmert ECAI 2012, 891-892, 2012	47	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	44	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	42	2013
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	36	2019
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	36	2016
Faster Than Uppaal? Tool Paper S Kupferschmid, M Wehrle, B Nebel, A Podelski Computer Aided Verification: 20th International Conference, CAV 2008 …, 2008	32	2008
Reducing GUI Test Suites via Program Slicing S Arlt, A Podelski, M Wehrle International Symposium on Software Testing and Analysis, 2014	31	2014
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	28	2015
Fast downward aidos J Seipp, F Pommerening, S Sievers, M Wehrle, C Fawcett, Y Alkhazraji Unsolvability International Planning Competition: planner abstracts, 28-38, 2016	24	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	24	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	23	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	19	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