Past-time LTL synthesis using SyGuS

Date:

Slides

Recorded Talk

Little red riding hood