Martin Wehrle
From MaRDI portal
Person:3000658
Available identifiers
zbMath Open wehrle.martinMaRDI QIDQ3000658
List of research outcomes
Publication | Date of Publication | Type |
---|---|---|
Strong Stubborn Set Pruning for Star-Topology Decoupled State Space Search | 2019-08-06 | Paper |
https://portal.mardi4nfdi.de/entity/Q3455628 | 2015-12-11 | Paper |
Mcta: Heuristics and Search for Timed Systems | 2012-11-21 | Paper |
Abstractions and Pattern Databases: The Quest for Succinctness and Accuracy | 2011-05-19 | Paper |
The Causal Graph Revisited for Directed Model Checking | 2009-08-18 | Paper |
Transition-Based Directed Model Checking | 2009-03-31 | Paper |
Research outcomes over time
Doctoral students
No records found.
Known relations from the MaRDI Knowledge Graph
Property | Value |
---|---|
MaRDI profile type | MaRDI person profile |
instance of | human |
This page was built for person: Martin Wehrle