Efficient Reactive Synthesis

MLA

Ye, Xin, and Harald Ruess. Efficient Reactive Synthesis. 2024. EBSCOhost, widgets.ebscohost.com/prod/customlink/proxify/proxify.php?count=1&encode=0&proxy=&find_1=&replace_1=&target=https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&scope=site&db=edsoai&AN=edsoai.on1438551435&authtype=sso&custid=ns315887.

APA

Ye, X., & Ruess, H. (2024). Efficient Reactive Synthesis.

Chicago

Ye, Xin, and Harald Ruess. 2024. “Efficient Reactive Synthesis.” http://widgets.ebscohost.com/prod/customlink/proxify/proxify.php?count=1&encode=0&proxy=&find_1=&replace_1=&target=https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&scope=site&db=edsoai&AN=edsoai.on1438551435&authtype=sso&custid=ns315887.