Robust Satisfaction of Temporal Logic over Real-Valued Signals (2010)

by A Donzé, O Maler
Venue:In: Proc. of FORMATS 2010: the 8th International Conference on Formal Modeling and Analysis of Timed Systems. vol. 6246 of LNCS