Details for the publication BansalLTV20.

Suguman Bansal, Yong Li, Lucas M. Tabajara, Moshe Y. Vardi (): Hybrid Compositional Reasoning for Reactive Synthesis from Finite-Horizon Specifications. In The Thirty-Fourth AAAI Conference on Artificial Intelligence, AAAI 2020, The Thirty-Second Innovative Applications of Artificial Intelligence Conference, IAAI 2020, The Tenth AAAI Symposium on Educational Advances in Artificial Intelligence, EAAI 2020, New York, NY, USA, February 7-12, 2020, pages 9766-9774, 2020. DOI BIB