Publication

[BansalLMVW23] On Strategies in Synthesis Over Finite Traces Bansal, S.; Li, Y.; Martinelli Tabajara, L.; Vardi, M. Y. and Wells, A. In ATVA, LNCS , 2023.
Downloads: bib