@inproceedings{KT18,
        author      =   "O. Kupferman and T. Tamir",
        title       =   "Alternating Reachability Games with Behavioral and Revenue Objectives",
        booktitle   =   lpar18,
        year        =   "2018"
}