Efficient Timed Diagnosis Using Automata with Timed Domains.

Patricia Bouyer, Samy Jaziri, Nicolas Markey

Browse the full RV paper archive.