Report copyright - Presentation: Steffen Metzger · Bounded Synthesis Presentation: Steffen Metzger. Same problem as before zGiven some specification (e.g. in LTL) zAutomatically synthesize a program
Please pass captcha verification before submit form