Monitoring of Spatio-Temporal Properties with Nonlinear SAT Solvers.

Andr de Matos Pedro, Toms Silva, Tiago F. Sequeira, Joo Loureno, Joo Costa Seco, Carla Ferreira

Browse the full FMICS paper archive.