Paper accepted to AAAI 2020

less than 1 minute read

Published:

Paper titled “Hybrid Compositional Reasoning for Reactive Synthesis from Finite-Horizon Specifications” is accepted for oral presentation at AAAI 2020. This is joint work with Suguman Bansal, Lucas M. Tabajara, and Moshe Y. Vardi.