Robust Sampling for MITL Specifications

Lecture Notes in Computer Science - Formal Modeling and Analysis of Timed Systems ◽

10.1007/978-3-540-75454-1_12 ◽

2007 ◽

pp. 147-162 ◽

Cited By ~ 17

Author(s):

Georgios E. Fainekos ◽

George J. Pappas

Download Full-text