@inproceedings{KS22,
        author      =   "O. Kupferman and N. Shenwald",
        title       =   "On the Complexity of LTL Rational Synthesis",
        booktitle   =   tacas22,
        pages       =   "25-45",
        series      =   lncs,
        volume      =   "13243",
        publisher   =   springer,
        year        =   2022
}