José Luis Conradi Hoffmann, Leonardo Passig Horstmann, Antônio Augusto Fröhlich. Using Formal Methods for On-The-Fly Time Series Verification. In 12th Latin-American Symposium on Dependable and Secure Computing, LADC 2023, La Paz, Bolivia, October 16-18, 2023. pages 21-29, ACM, 2023. [doi]
Abstract is missing.