@inproceedings{Kup24,
        author      =   "O. Kupferman",
        title       =   "Playing Games on Automata",
        booktitle   =   atva24,
        series    = {Lecture Notes in Computer Science},       
        volume       = {15054},
        pages        = {3--21},
        publisher    = {Springer},
        year        =   2024
}