conftrace_
← Authors

Alexander Maier

1 papers · 2019–2019 · 1 conference · across top CS/AI conferences

Achievements

Jump to papers ↓
🧭 Keyword Pioneer 🐝 Cross-Pollinator (11) 🚀 Conference Pioneer

Conferences

AAAI (1)

Top co-authors

Alexander Diedrich (1) Oliver Niggemann (1)

Keywords

model-based diagnosis (1) fault diagnosis (1) hybrid system (1) satisfiability modulo theory (1) boolean residual (1)

Papers

Model-Based Diagnosis of Hybrid Systems Using Satisfiability Modulo Theory AAAI 2019