Cited By
View all- Doyen LGaba PGuha S(2024)Stochastic Window Mean-Payoff GamesFoundations of Software Science and Computation Structures10.1007/978-3-031-57228-9_3(34-54)Online publication date: 5-Apr-2024
- Main JRandour MSproston J(2022)Timed Games with Bounded Window Parity ObjectivesFormal Modeling and Analysis of Timed Systems10.1007/978-3-031-15839-1_10(165-182)Online publication date: 29-Aug-2022
- Goranko VKuusisto ARönnholm R(2021)Game-theoretic semantics for ATL+ with applications to model checkingInformation and Computation10.1016/j.ic.2020.104554276(104554)Online publication date: Feb-2021
- Show More Cited By