Robustness Of Temporal Logic Specifications. door Georgios E. Fainekos