![]() | ![]() |
2008 | ||
---|---|---|
3 | Paul Maier: Adaptive Abstraction of Constraint-Based Models for Self-Diagnosis and Planning. AAAI 2008: 1859-1860 | |
2 | EE | Martin Sachenbacher, Paul Maier: Test Strategy Generation Using Quantified CSPs. CP 2008: 566-570 |
1 | EE | Paul Maier, Martin Sachenbacher: Constraint Optimization and Abstraction for Embedded Intelligent Systems. CPAIOR 2008: 338-342 |
1 | Martin Sachenbacher | [1] [2] |