From diagnosis of active systems to incremental determinization of finite acyclic automata

Gianfranco Lamperti, Michele Scandale. From diagnosis of active systems to incremental determinization of finite acyclic automata. AI Commun., 26(4):373-393, 2013. [doi]

Abstract

Abstract is missing.