Monitoring of spatio-temporal properties with nonlinear SAT solvers

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

URL	https://link.springer.com/article/10.1007/s10009-024-00740-7
Volume	International Journal on Software Tools for Technology Transfer, Volume 26, Number 1, February 2024

Publication