Robust Sampling for MITL Specifications (2007)

by G Fainekos, G Pappas
Venue:In: Proc. of FORMATS 2007: the 5th International Conference on Formal Modeling and Analysis of Timed Systems. vol. 4763 of LNCS