Robustness Of Temporal Logic Specifications. by Georgios E. Fainekos