Publisher
Springer Nature Switzerland
Reference16 articles.
1. Cordier, M.O., et al.: AI and automatic control approaches of model-based diagnosis: links and underlying hypotheses. IFAC Proc. Volumes 33(11), 279–284 (2000). https://doi.org/10.1016/S1474-6670(17)37373-1. 4th IFAC Symposium on Fault Detection, Supervision and Safety for Technical Processes 2000 (SAFEPROCESS 2000), Budapest, Hungary, 14–16 June 2000
2. Lecture Notes in Computer Science;L de Moura,2008
3. Lecture Notes in Computer Science;T Eiter,2009
4. Grastien, A.: Diagnosis of hybrid systems with SMT: opportunities and challenges. In: Proceedings of the Twenty-First European Conference on Artificial Intelligence, ECAI 2014, pp. 405–410. IOS Press (2014)
5. Greiner, R., Smith, B.A., Wilkerson, R.W.: A correction to the algorithm in Reiter’s theory of diagnosis. Artif. Intell. 41(1), 79–88 (1989)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献