Model Checking Strategies from Synthesis over Finite Traces.

Suguman Bansal, Yong Li, Lucas M. Tabajara, Moshe Y. Vardi, Andrew M. Wells

Browse the full ATVA paper archive.