@article{10.1145/3091123,
    Abstract = {This article introduces differential hybrid games, which combine differential games with hybrid games. In both kinds of games, two players interact with continuous dynamics. The difference is that hybrid games also provide all the features of hybrid systems and discrete games, but only deterministic differential equations. Differential games, instead, provide differential equations with continuous-time game input by both players, but not the luxury of hybrid games, such as mode switches and discrete-time or alternating adversarial interaction. This article augments differential game logic with modalities for the combined dynamics of differential hybrid games. It shows how hybrid games subsume differential games and introduces differential game invariants and differential game variants for proving properties of differential games inductively.},
    Address = {New York, NY, USA},
    Author = {Platzer, Andr\'{e}},
    File = {Differential Hybrid Games - 3091123 - a.pdf},
    ISSN = {1529-3785},
    Journal = {ACM Trans. Comput. Logic},
    Keywords = {hybrid games, game logic, Differential games, differential game invariants, viscosity solutions, real algebraic geometry, partial differential equations},
    Month = {aug},
    Number = {3},
    Publisher = {Association for Computing Machinery},
    Title = {Differential Hybrid Games},
    URL = {https://doi.org/10.1145/3091123},
    Volume = {18},
    Year = {2017},
    articleno = {19},
    bdsk-url-1 = {https://doi.org/10.1145/3091123},
    date-added = {2023-04-06 06:59:36 +0200},
    date-modified = {2023-04-06 06:59:36 +0200},
    issue_date = {July 2017},
    numpages = {44},
    doi = {10.1145/3091123}
}

@article{10.1145/3091123, Abstract = {This article introduces differential hybrid games, which combine differential games with hybrid games. In both kinds of games, two players interact with continuous dynamics. The difference is that hybrid games also provide all the features of hybrid systems and discrete games, but only deterministic differential equations. Differential games, instead, provide differential equations with continuous-time game input by both players, but not the luxury of hybrid games, such as mode switches and discrete-time or alternating adversarial interaction. This article augments differential game logic with modalities for the combined dynamics of differential hybrid games. It shows how hybrid games subsume differential games and introduces differential game invariants and differential game variants for proving properties of differential games inductively.}, Address = {New York, NY, USA}, Author = {Platzer, Andr\'{e}}, File = {Differential Hybrid Games - 3091123 - a.pdf}, ISSN = {1529-3785}, Journal = {ACM Trans. Comput. Logic}, Keywords = {hybrid games, game logic, Differential games, differential game invariants, viscosity solutions, real algebraic geometry, partial differential equations}, Month = {aug}, Number = {3}, Publisher = {Association for Computing Machinery}, Title = {Differential Hybrid Games}, URL = {https://doi.org/10.1145/3091123}, Volume = {18}, Year = {2017}, articleno = {19}, bdsk-url-1 = {https://doi.org/10.1145/3091123}, date-added = {2023-04-06 06:59:36 +0200}, date-modified = {2023-04-06 06:59:36 +0200}, issue_date = {July 2017}, numpages = {44}, doi = {10.1145/3091123} }