Talk on AAAI SSS-23

In this talk, I introduced our journey from LTLf satisfiability checking to synthesis.

The symposium website is https://ltlf-symposium.github.io/

Slides can be found here.