Automated Synthesis of Generalized Invariant Strategies via Counterexample-Guided Strategy Refinement.

Kailun Luo, Yongmei Liu

Browse the full AAAI paper archive.