Analysis and control of dynamical systems using temporal logic and Gaussian processes - Csutak Balázs (2014)