 | 2009 |
|---|
| 14 |       | Anika Schumann,
Martin Sachenbacher,
Jinbo Huang:
Constraint-Based Optimal Testing Using DNNF Graphs.
CP 2009: 731-745 |
| 13 | | Stefan Heinz,
Martin Sachenbacher:
Using Model Counting to Find Optimal Distinguishing Tests.
CPAIOR 2009: 117-131 |
| 12 | | Paul Maier,
Martin Sachenbacher,
Thomas Rühr,
Lukas Kuhn:
Constraint-Based Integration of Plan Tracking and Prognosis for Autonomous Production.
KI 2009: 403-410 |
| 11 | | Anika Schumann,
Martin Sachenbacher,
Jinbo Huang:
Computing Optimal Tests for Non-deterministic Systems Using DNNF Graphs.
Electr. Notes Theor. Comput. Sci. 253(2): 87-99 (2009) |
| 2008 |
|---|
| 10 | | Martin Sachenbacher,
Paul Maier:
Test Strategy Generation Using Quantified CSPs.
CP 2008: 566-570 |
| 9 | | Paul Maier,
Martin Sachenbacher:
Constraint Optimization and Abstraction for Embedded Intelligent Systems.
CPAIOR 2008: 338-342 |
| 2006 |
|---|
| 8 | | Martin Sachenbacher,
Brian C. Williams:
Conflict-Directed A* Search for Soft Constraints.
CPAIOR 2006: 182-196 |
| 2005 |
|---|
| 7 |  | Tsoline Mikaelian,
Brian C. Williams,
Martin Sachenbacher:
Model-Based Monitoring and Diagnosis of Systems with Software-Extended Behavior.
AAAI 2005: 327-333 |
| 6 | | Martin Sachenbacher,
Brian C. Williams:
Bounded Search and Symbolic Inference for Constraint Optimization.
IJCAI 2005: 286-291 |
| 5 | | Martin Sachenbacher,
Peter Struss:
Task-dependent qualitative domain abstraction.
Artif. Intell. 162(1-2): 121-143 (2005) |
| 2004 |
|---|
| 4 | | Martin Sachenbacher,
Brian C. Williams:
On-Demand Bound Computation for Best-First Constraint Optimization.
CP 2004: 762-766 |
| 3 | | Martin Sachenbacher,
Brian C. Williams:
Diagnosis as Semiring-Based Constraint Optimization.
ECAI 2004: 873-877 |
| 2003 |
|---|
| 2 | | Martin Sachenbacher,
Peter Struss:
Automated Qualitative Domain Abstraction.
IJCAI 2003: 382-387 |
| 2000 |
|---|
| 1 | | Martin Sachenbacher,
Peter Struss,
Claes M. Calén:
A Prototype for Model-based On-board Diagnosis of Automotive Systems.
AI Commun. 13(2): 83-98 (2000) |
