Hybrid Compositional Reasoning for Reactive Synthesis from Finite-Horizon Specifications - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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, AAAI Press, 2020. [doi]

This author has not been identified. Look up 'Suguman Bansal' in GoogleThis author has not been identified. Look up 'Yong Li' in GoogleThis author has not been identified. Look up 'Lucas M. Tabajara' in GoogleThis author has not been identified. Look up 'Moshe Y. Vardi' in Google

runs on WebDSL