Publication: Engineering an LTLf synthesis tool
2025-07-04
By Alexandre Duret-Lutz, Shufang Zhu, Nir Piterman, Giuseppe De Giacomo, Moshe Y. Vardi
In Proceedings of the 29th international conference on implementation and applications of automata (CIAA’25)