conftrace_
← Authors

Alexander Diedrich

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

Oliver Niggemann (1) Alexander Maier (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