Robust Satisfaction of Temporal Logic over Real-Valued Signals Alexandre Donz´e and Oded Maler CNRS-Verimag, 2 Av. de Vignate, 38610 Gi`eres,20 - Oded - Document - PDFSEARCH.IO

First Page	Meta Content
	Robust Satisfaction of Temporal Logic over Real-Valued Signals Alexandre Donz´e and Oded Maler CNRS-Verimag, 2 Av. de Vignate, 38610 Gi`eres, France @imag.fr Add to Reading List Document Date: 2010-06-10 13:53:15 Open Document File Size: 314,94 KB Share Result on Facebook

Robust Satisfaction of Temporal Logic over Real-Valued Signals Alexandre Donz´e and Oded Maler CNRS-Verimag, 2 Av. de Vignate, 38610 Gi`eres, France @imag.frAdd to Reading List