Alert button

On Strategies in Synthesis Over Finite Traces

May 15, 2023
Suguman Bansal, Yong Li, Lucas Martinelli Tabajara, Moshe Y. Vardi, Andrew Wells

Figure 1 for On Strategies in Synthesis Over Finite Traces

Share this with someone who'll enjoy it:

View paper onarxiv icon

Share this with someone who'll enjoy it: