Vazquez-Chanlatte, M. (2021). py-metric-temporal-logic (Version 0) [Computer software]. https://github.com/mvcisback/py-metric-temporal-logic