×

Presenter

Shahar Maoz

Tel Aviv University

Associate Professor at Tel Aviv University. 

See https://www.cs.tau.ac.il/~maozs/



Presentations by Shahar Maoz
Using Reactive Synthesis: An End-to-End Exploratory Case Study
Using Reactive Synthesis: An End-to-End Exploratory Case Study
Shahar Maoz
Triggers for Reactive Synthesis Specifications
Triggers for Reactive Synthesis Specifications
Shahar Maoz


No presentations found for today.