Detail

Publication date: 05/09/2022

Monitoring of Spatio-Temporal Properties with Nonlinear SAT Solvers

Authors

André de Matos Pedro, Tomás Silva, Tiago F. Sequeira, João Lourenço, João Costa Seco, Carla Ferreira,

URL https://link.springer.com/chapter/10.1007/978-3-031-15008-1_11
Book title Formal Methods for Industrial Critical Systems (FMICS 2022)