Martin Wehrle

According to our database1, Martin Wehrle authored at least 43 papers between 2007 and 2021.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2021
On Weak Stubborn Sets in Classical Planning.
Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021

2019
Strong Stubborn Set Pruning for Star-Topology Decoupled State Space Search.
J. Artif. Intell. Res., 2019

Theoretical Foundations for Structural Symmetries of Lifted PDDL Tasks.
Proceedings of the Twenty-Ninth International Conference on Automated Planning and Scheduling, 2019

Temporal Planning as Refinement-Based Model Checking.
Proceedings of the Twenty-Ninth International Conference on Automated Planning and Scheduling, 2019

2017
Strengthening Canonical Pattern Databases with Structural Symmetries.
Proceedings of the Tenth International Symposium on Combinatorial Search, 2017

Stubborn Sets for Fully Observable Nondeterministic Planning.
Proceedings of the Twenty-Seventh International Conference on Automated Planning and Scheduling, 2017

2016
Downward pattern refinement for timed automata.
Int. J. Softw. Tools Technol. Transf., 2016

Guided search for hybrid systems based on coarse-grained space abstractions.
Int. J. Softw. Tools Technol. Transf., 2016

Sleep Sets Meet Duplicate Elimination.
Proceedings of the Ninth Annual Symposium on Combinatorial Search, 2016

Structural Symmetries for Fully Observable Nondeterministic Planning.
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

Graph-Based Factorization of Classical Planning Problems.
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

Decoupled Strong Stubborn Sets.
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

An Analysis of Merge Strategies for Merge-and-Shrink Heuristics.
Proceedings of the Twenty-Sixth International Conference on Automated Planning and Scheduling, 2016

2015
Directed Model Checking for PROMELA with Relaxation-Based Distance Functions.
Proceedings of the Model Checking Software - 22nd International Symposium, 2015

Improved Pattern Selection for PDB Heuristics in Classical Planning (Extended Abstract).
Proceedings of the Eighth Annual Symposium on Combinatorial Search, 2015

System Testing and Program Verification.
Proceedings of the Software Engineering & Management 2015, Multikonferenz der GI-Fachbereiche Softwaretechnik (SWT) und Wirtschaftsinformatik (WI), FA WI-MAW, 17. März, 2015

An Empirical Case Study on Symmetry Handling in Cost-Optimal Planning as Heuristic Search.
Proceedings of the KI 2015: Advances in Artificial Intelligence, 2015

Integrating Partial Order Reduction and Symmetry Elimination for Cost-Optimal Classical Planning.
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

PDDL+ Planning with Hybrid Automata: Foundations of Translating Must Behavior.
Proceedings of the Twenty-Fifth International Conference on Automated Planning and Scheduling, 2015

Factored Symmetries for Merge-and-Shrink Abstractions.
Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

Heuristics and Symmetries in Classical Planning.
Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

A Generalization of Sleep Sets Based on Operator Sequence Redundancy.
Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

2014
Reducing GUI test suites via program slicing.
Proceedings of the International Symposium on Software Testing and Analysis, 2014

Bounded Intention Planning Revisited.
Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014

Efficient Stubborn Sets: Generalized Algorithms and Selection Strategies.
Proceedings of the Twenty-Fourth International Conference on Automated Planning and Scheduling, 2014

Under-Approximation Refinement for Classical Planning.
Proceedings of the Twenty-Fourth International Conference on Automated Planning and Scheduling, 2014

Generalized Label Reduction for Merge-and-Shrink Heuristics.
Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014

Symbolic Domain Predictive Control.
Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014

Planning as Model Checking in Hybrid Domains.
Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014

2013
Abstraction-Based Guided Search for Hybrid Systems.
Proceedings of the Model Checking Software - 20th International Symposium, 2013

The Relative Pruning Power of Strong Stubborn Sets and Expansion Core.
Proceedings of the Twenty-Third International Conference on Automated Planning and Scheduling, 2013

2012
Mcta: Heuristics and Search for Timed Systems.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2012

A Stubborn Set Algorithm for Optimal Planning.
Proceedings of the ECAI 2012, 2012

A Box-Based Distance between Regions for Guiding the Reachability Analysis of SpaceEx.
Proceedings of the Computer Aided Verification - 24th International Conference, 2012

About Partial Order Reduction in Planning and Computer Aided Verification.
Proceedings of the Twenty-Second International Conference on Automated Planning and Scheduling, 2012

2011
Transition-based directed model checking = Transitionsbasierte gerichtete Modellprüfung.
PhD thesis, 2011

Abstractions and Pattern Databases: The Quest for Succinctness and Accuracy.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2011

2010
Context-Enhanced Directed Model Checking.
Proceedings of the Model Checking Software, 2010

2009
Transition-Based Directed Model Checking.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2009

The Causal Graph Revisited for Directed Model Checking.
Proceedings of the Static Analysis, 16th International Symposium, 2009

2008
Faster Than Uppaal?
Proceedings of the Computer Aided Verification, 20th International Conference, 2008

Useless Actions Are Useful.
Proceedings of the Eighteenth International Conference on Automated Planning and Scheduling, 2008

2007
Planning as Satisfiability with Relaxed $-Step Plans.
Proceedings of the AI 2007: Advances in Artificial Intelligence, 2007


  Loading...