Emerson-Lei and Manna-Pnueli Games for LTLf+ and PPLTL+ Synthesis.

Daniel Hausmann, Shufang Zhu, Gianmarco Parretti, Christoph Weinhuber, Giuseppe De Giacomo, Nir Piterman

Browse the full KR paper archive.