Using On-The-Fly Model Checking to improve Constraint Programming for Dynamic Problems.
Florian RéginElisabetta De MariaPublished in: ICTAI (2023)
Keyphrases
- model checking
- constraint programming
- combinatorial problems
- temporal logic
- finite domain
- search heuristics
- symbolic model checking
- constraint problems
- model checker
- constraint satisfaction problems
- constraint satisfaction
- constraint propagation
- optimization problems
- formal specification
- search strategies
- formal verification
- integer programming
- verification method
- bounded model checking
- automated verification
- global constraints
- formal methods
- np complete
- arc consistency
- combinatorial optimization
- epistemic logic
- reinforcement learning