Fully Generalized Reactivity(1) Synthesis. - Rüdiger Ehlers; Ayrat Khalimov 003 (TACAS (1), 2024)

A Naturally-Colored Translation from LTL to Parity and COCOA. - Rüdiger Ehlers; Ayrat Khalimov 003 (CoRR, 2024)