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.
Overview
Syllabus
Intro
Motivation
Just-in-time Synthesis
Background
GR(1) Synthesis Process
Main Contribution: JITS Approach
JITS Approach (Storing)
JITS Approach (Execution)
Static Approach vs. JITS Approach
JITS Approach (Soundness & Deadlock-Freedom)
JITS Extensions
Implemented Extensions
Evaluation Setup
Realizability vs. Construction Evaluation
Synthesis Evaluation
Execution Evaluation
Evaluation Results
Future Work
Just in Time Reactive Synthesis
Taught by
Association for Computing Machinery (ACM)
