Monitoring of Spatio-Temporal Properties with Nonlinear SAT Solvers.
André de Matos PedroTomás SilvaTiago F. SequeiraJoão LourençoJoão Costa SecoCarla FerreiraPublished in: FMICS (2022)
Keyphrases
- sat solvers
- temporal properties
- model checking
- orders of magnitude
- constraint satisfaction
- max sat
- sat solving
- propositional satisfiability
- search space
- sat instances
- formal methods
- boolean satisfiability
- possibility theory
- sat problem
- weighted max sat
- search strategies
- clause learning
- temporal logic
- search strategy
- computational complexity
- artificial intelligence
- machine learning
- neural network