Incremental Determinization of Finite Automata in Model-Based Diagnosis of Active Systems.

Gianfranco Lamperti Marina Zanella Giovanni Chiodi Lorenzo Chiodi Incremental Determinization of Finite Automata in Model-Based Diagnosis of Active Systems. 362-374 2008 KES (1) http://dx.doi.org/10.1007/978-3-540-85563-7_48 conf/kes/2008-1 db/conf/kes/kes2008-1.html#LampertiZCC08