Synthesis from Satisficing and Temporal Goals.

Suguman Bansal, Lydia E. Kavraki, Moshe Y. Vardi, Andrew M. Wells

Browse the full AAAI paper archive.