Hybrid Compositional Reasoning for Reactive Synthesis from Finite-Horizon Specifications.

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

Browse the full AAAI paper archive.