Publikationen_1920x250_Detail

Model-based Diagnosis of Hybrid Systems using Satisfiability Modulo Theory

Alexander Diedrich¹, Oliver Niggemann²
Jan 2019
Literature procurement: Thirty-Third AAAI Conference on Artificial Intelligence (AAAI-19)
@inproceedings{682,
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= {USA},
editor= {},
pages= {},
organisation= {},
}

¹ First Authors
² Last authors