Robust timed automata (1997)

by Vineet Gupta , Thomas A. Henzinger , Radha Jagadeesan
Venue:In Proceedings of HART 97
Citations:47 - 6 self