Publication

[BansalLTV20] Hybrid Compositional Reasoning for Reactive Synthesis from Finite-Horizon Specifications Bansal, S.; Li, Y.; Tabajara, L. M. and Vardi, M. Y. In AAAI, pages 9766-9774, 2020.
Downloads: bib