On Temporal Logic and Signal Processing.

Alexandre Donz, Oded Maler, Ezio Bartocci, Dejan Nickovic, Radu Grosu, Scott A. Smolka

Browse the full ATVA paper archive.