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

Gianfranco Lamperti, Marina Zanella, Giovanni Chiodi, Lorenzo Chiodi

Browse the full KES paper archive.