@inproceedings{359f47db3c404aa0b94d5b301d4ec36f,
title = "TLTk: A Toolbox for Parallel Robustness Computation of Temporal Logic Specifications",
abstract = "This paper presents the Temporal Logic Toolkit (TLTk), a modular falsification tool for signal temporal logic specifications developed in Python and C. At the core of the tool, an algorithm for robustness computation is utilized that supports multi-threaded CPU/GPU computation. The tool enables memory-efficient, parallel, robustness computation of system traces. In addition, the python implementation enables the addition and modification of temporal operators for application-specific scenarios. The performance of the tool is evaluated against state-of-the-art robustness computation engines DP-TaLiRo and Breach on a number of benchmark problems.",
keywords = "Robustness, Temporal logic, Testing",
author = "Joseph Cralley and Ourania Spantidi and Bardh Hoxha and Georgios Fainekos",
note = "Publisher Copyright: {\textcopyright} 2020, Springer Nature Switzerland AG.; 20th International Conference on Runtime Verification, RV 2020 ; Conference date: 06-10-2020 Through 09-10-2020",
year = "2020",
doi = "10.1007/978-3-030-60508-7_22",
language = "English (US)",
isbn = "9783030605070",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Science and Business Media Deutschland GmbH",
pages = "404--416",
editor = "Jyotirmoy Deshmukh and Dejan Nickovic",
booktitle = "Runtime Verification - 20th International Conference, RV 2020, Proceedings",
address = "Germany",
}