TLTk: A Toolbox for Parallel Robustness Computation of Temporal Logic Specifications. - Joseph Cralley; Ourania Spantidi; Bardh Hoxha; Georgios Fainekos (RV, 2020)