Martin Wehrle

Cited by

	All	Since 2016
Citations	788	578
h-index	17	16
i10-index	25	20

160

120

200820092010201120122013201420152016201720182019202020216 13 10 13 21 17 40 84 143 132 121 81 82 19

Public access

View all

42 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Malte HelmertProfessor of Computer Science, University of BaselVerified email at unibas.ch
Andreas PodelskiProfessor of Computer Science, Freiburg UniversityVerified email at informatik.uni-freiburg.de
Silvan SieversPost-Doc, University of BaselVerified email at unibas.ch
Michael KatzResearch 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 MagazzeniReader in Artificial Intelligence, King's College LondonVerified email at kcl.ac.uk
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 FrehseAssociate Professor of Computer Science, ENSTA ParisVerified email at ensta-paris.fr
Joerg HoffmannProfessor, Saarland Informatics Campus, Saarland UniversityVerified email at cs.uni-saarland.de
Taylor T JohnsonAssistant Professor, Electrical Engineering and Computer Science (EECS), Vanderbilt UniversityVerified email at vanderbilt.edu
Bernhard NebelProfessor für Informatik, Universität FreiburgVerified email at uni-freiburg.de
Stefano MinopoliRaytheon Technologies Research CenterVerified email at rtx.com
Daniel GnadSaarland University, Saarland Informatics CampusVerified email at cs.uni-saarland.de
Stephan ArltAlbert-Ludwigs-Universität FreiburgVerified email at informatik.uni-freiburg.de
Jussi RintanenAalto UniversityVerified email at aalto.fi
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
Efficient Stubborn Sets: Generalized Algorithms and Selection Strategies M Wehrle, M Helmert International Conference on Automated Planning and Scheduling, 2014	55	2014
Planning as Satisfiability with Relaxed -Step Plans M Wehrle, J Rintanen Australasian Joint Conference on Artificial Intelligence, 244-253, 2007	49	2007
Planning as Model Checking in Hybrid Domains S Bogomolov, D Magazzeni, A Podelski, M Wehrle 28th AAAI Conference on Artificial Intelligence, 2014	48	2014
Generalized Label Reduction for Merge-and-Shrink Heuristics S Sievers, M Wehrle, M Helmert 28th AAAI Conference on Artificial Intelligence, 2014	48	2014
About Partial Order Reduction in Planning and Computer Aided Verification. M Wehrle, M Helmert International Conference on Automated Planning and Scheduling, 2012	48	2012
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	45	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	36	2013
A Stubborn Set Algorithm for Optimal Planning. Y Alkhazraji, M Wehrle, R Mattmüller, M Helmert ECAI 242, 891-892, 2012	36	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	32	2015
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 (4), 449-467, 2016	30	2016
Faster than UPPAAL? S Kupferschmid, M Wehrle, B Nebel, A Podelski International Conference on Computer Aided Verification, 552-555, 2008	27	2008
Abstraction-based guided search for hybrid systems S Bogomolov, A Donzé, G Frehse, R Grosu, TT Johnson, H Ladan, ... International SPIN Workshop on Model Checking of Software, 117-134, 2013	24	2013
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	23	2015
Reducing GUI Test Suites via Program Slicing S Arlt, A Podelski, M Wehrle International Symposium on Software Testing and Analysis, 2014	23	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	22	2016
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 International Conference on Computer Aided Verification, 479-494, 2012	21	2012
Fast downward aidos J Seipp, F Pommerening, S Sievers, M Wehrle, C Fawcett, Y Alkhazraji Unsolvability International Planning Competition: planner abstracts, 28-38, 2016	18	2016
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	17	2014
Transition-based directed model checking M Wehrle, S Kupferschmid, A Podelski International Conference on Tools and Algorithms for the Construction and …, 2009	15	2009
The causal graph revisited for directed model checking M Wehrle, M Helmert International Static Analysis Symposium, 86-101, 2009	13	2009

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

Upload PDF

Follow this author

Cited by

Co-authors