1. On Temporal Logic andSignal Processing Ezio Bartocci Vienna University of Technology in collaboration with: Alexandre Donzé, Oded Maler, Dejan Nickovic, Radu Grosu, Scott…