Publikationen

Diedrich, Alexander; Niggemann, Oliver: Model-based Diagnosis of Hybrid Systems using Satisfiability Modulo Theory. Thirty-Third AAAI Conference on Artificial Intelligence (AAAI-19), Hawaii, USA, Jan 2019.

Bibtex:

@INPROCEEDINGS{Model-based Diagnosis of Hybrid Systems using Satisfiability Modulo Theory,
     author={Diedrich, Alexander and Niggemann, Oliver},
     title={Model-based Diagnosis of Hybrid Systems using Satisfiability Modulo Theory},
     abstract={},
     booktitle={},
     year={2019},
     month={Jan},
     publisher={Thirty-Third AAAI Conference on Artificial Intelligence (AAAI-19)},
     address={Hawaii, USA},
     editor={},
     pages={},
     organisation={},
}

Download: Bibtex.txt