Authors Search About

Tabajara, Lucas Martinelli

1 publications

IJCAI 2019 Partitioning Techniques in LTLf Synthesis Lucas Martinelli Tabajara, Moshe Y. Vardi

ML Anthology — Open source under Apache 2.0. GitHub. Privacy Policy