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]

No reviews for this publication, yet.