Model-based Diagnosis of Hybrid Systems using Satisfiability Modulo Theory
Alexander Diedrich and Oliver Niggemann,
Jan 2019
Literature procurement:
Thirty-Third AAAI Conference on Artificial Intelligence (AAAI-19)
Bibtex: Download Bibtex
@inproceedings{682,
}
| author | = | {Diedrich, Alexander and Niggemann, Oliver}, |
| title | = | {Model-based Diagnosis of Hybrid Systems using Satisfiability Modulo Theory}, |
| booktitle | = | {}, |
| year | = | {2019}, |
| editor | = | {}, |
| volume | = | {}, |
| series | = | {}, |
| pages | = | {}, |
| address | = | {USA}, |
| month | = | {Jan}, |
| organisation | = | {}, |
| publisher | = | {Thirty-Third AAAI Conference on Artificial Intelligence (AAAI-19)}, |
| note | = | {}, |