Martin Wehrle

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Strong Stubborn Set Pruning for Star-Topology Decoupled State Space Search Journal of Artificial Intelligence Research	2019-08-06	Paper
A stubborn set algorithm for optimal planning	2015-12-11	Paper
Mcta: heuristics and search for timed systems Lecture Notes in Computer Science	2012-11-21	Paper
Abstractions and pattern databases: the quest for succinctness and accuracy Tools and Algorithms for the Construction and Analysis of Systems	2011-05-19	Paper
The Causal Graph Revisited for Directed Model Checking Static Analysis	2009-08-18	Paper
Transition-Based Directed Model Checking Tools and Algorithms for the Construction and Analysis of Systems	2009-03-31	Paper

Research outcomes over time

This page was built for person: Martin Wehrle