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

Kailun Luo, Yongmei Liu

Browse the full IJCAI paper archive.