Publikationen_1920x250_Detail

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)
@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= {},
}