Scaling GR(1) Synthesis via a Compositional Frameworkfor LTL Discrete Event Control.

Hernn Gagliardi, Vctor A. Braberman, Sebastin Uchitel

Browse the full CAV paper archive.