Automatic Verification of FSA Strategies via Counterexample-Guided Local Search for Invariants.

Kailun Luo Yongmei Liu

Published in: IJCAI (2019)

Keyphrases

guided local search
metaheuristic
search algorithm
vehicle routing problem with time windows
search procedure
reinforcement learning
dynamic programming