Monitoring of spatio-temporal properties with nonlinear SAT solvers

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

Posted Feb 22, 2024