Rajeev Alur (University of Pennsylvania)
https://simons.berkeley.edu/talks/syn...
Synthesis of Models and Systems
Watch video Syntax-Guided Program Synthesis online without registration, duration hours minute second in high quality. This video was added by user Simons Institute 01 January 1970, don't forget to share it with your friends and acquaintances, it has been viewed on our site 1,463 once and liked it 33 people.