Using On-The-Fly Model Checking to improve Constraint Programming for Dynamic Problems.

Florian Rgin, Elisabetta De Maria

Browse the full ICTAI paper archive.