Persephone is a MATLAB toolbox that implements monitoring algorithms for streams of data against Timed Quality Temporal Logic (TQTL).
The core of this tool is based on S-TaLiRo, a MATLAB toolbox for Metric Temporal Logic (MTL).
To cite this toolbox, use the following BibTeX entry:
@inproceedings{dokhanchi_evaluating_2018,
series = {Lecture {{Notes}} in {{Computer Science}}},
title = {Evaluating {{Perception Systems}} for {{Autonomous Vehicles Using Quality Temporal Logic}}},
isbn = {978-3-030-03769-7},
abstract = {For reliable situation awareness in autonomous vehicle applications, we need to develop robust and reliable image processing and machine learning algorithms. Currently, there is no general framework for reasoning about the performance of perception systems. This paper introduces Timed Quality Temporal Logic (TQTL) as a formal language for monitoring and testing the performance of object detection and situation awareness algorithms for autonomous vehicle applications. We demonstrate that it is possible to describe interesting properties as TQTL formulas and detect cases where the properties are violated.},
language = {en},
booktitle = {Runtime {{Verification}}},
publisher = {{Springer International Publishing}},
author = {Dokhanchi, Adel and Amor, Heni Ben and Deshmukh, Jyotirmoy V. and Fainekos, Georgios},
editor = {Colombo, Christian and Leucker, Martin},
year = {2018},
keywords = {Autonomous vehicles,Image processing,Machine Learning,Monitoring,Perception,Temporal logic},
pages = {409-416}
}