Just-In-Time Reactive Synthesis

Just-In-Time Reactive Synthesis

Explore a conference talk on Just-In-Time Reactive Synthesis presented at ASE2020 by Shahar Maoz and Ilia Shevrin from Tel Aviv University. Delve into the motivation behind this approach, its background in GR(1) synthesis, and the main contributions of the JITS (Just-In-Time Synthesis) method. Learn about the storing and execution processes in JITS, and compare it to static approaches. Examine the soundness and deadlock-freedom aspects of JITS, as well as its extensions and implementations. Gain insights from the evaluation setup, which covers realizability, construction, synthesis, and execution. Discover the evaluation results and potential future work in the field of Just-In-Time Reactive Synthesis during this 21-minute presentation.