-
1
-
-
0242523857
-
Memoryless determinacy of parity and mean payoff games: A simple proof
-
Henrik Björklund, Sven Sandberg, and Sergei Vorobyov. Memoryless determinacy of parity and mean payoff games: a simple proof. Theor. Computer Science, 310:365-378, 2004.
-
(2004)
Theor. Computer Science
, vol.310
, pp. 365-378
-
-
Björklund, H.1
Sandberg, S.2
Vorobyov, S.3
-
2
-
-
21144438301
-
Model checking discounted temporal properties
-
Springer
-
Luca de Alfaro, Marco Faella, Thomas A. Henzinger, Rupak Majumdar, and Marielle Stoelinga. Model checking discounted temporal properties. In TAC AS 2004, volume 2988 of LNCS, pages 77-92. Springer, 2004.
-
(2004)
TAC AS 2004, Volume 2988 of LNCS
, vol.2988
, pp. 77-92
-
-
De Alfaro, L.1
Faella, M.2
Henzinger, T.A.3
Majumdar, R.4
Stoelinga, M.5
-
3
-
-
35248855366
-
Discounting the future in systems theory
-
Springer
-
Luca de Alfaro, Thomas A. Henzinger, and Rupak Majumdar. Discounting the future in systems theory. In 1C ALP 2003, volume 2719 of LNCS, pages 1022-1037. Springer, 2003.
-
(2003)
1C ALP 2003, Volume 2719 of LNCS
, vol.2719
, pp. 1022-1037
-
-
De Alfaro, L.1
Henzinger, T.A.2
Majumdar, R.3
-
5
-
-
0026368952
-
Tree automata, μ-calculus and determinacy
-
IEEE Computer Society Press
-
E.A. Emerson and C. Jutla. Tree automata, μ-calculus and determinacy. In FOCS'91, pages 368-377. IEEE Computer Society Press, 1991.
-
(1991)
FOCS'91
, pp. 368-377
-
-
Emerson, E.A.1
Jutla, C.2
-
9
-
-
0004214083
-
Games with forbidden positions
-
Uniwersytet Gdanski, Instytut Matematyki
-
A.W. Mostowski. Games with forbidden positions. Technical Report 78, Uniwersytet Gdanski, Instytut Matematyki, 1991.
-
(1991)
Technical Report
, vol.78
-
-
Mostowski, A.W.1
-
10
-
-
0347006779
-
Prolongements des jeux á deux joueurs de somme nulle. Une théorie abstraite des duels
-
Mémoire
-
Hervé Moulin. Prolongements des jeux á deux joueurs de somme nulle. Une théorie abstraite des duels. Bull. Soc. math. France, pages 1-111, 1976. Mémoire 45.
-
(1976)
Bull. Soc. Math. France
, vol.45
, pp. 1-111
-
-
Moulin, H.1
-
11
-
-
35048887612
-
Finite-step algorithms for single-controller and perfect information stochastic games
-
A. Neyman and S. Sorin, editors, Kluwer Academic Publishers
-
T.E.S Raghavan. Finite-step algorithms for single-controller and perfect information stochastic games. In A. Neyman and S. Sorin, editors, Stohastic Games and Applications, volume 570 of NATO Science Series C, Mathematical and Physical Sciences, pages 227-251. Kluwer Academic Publishers, 2003.
-
(2003)
Stohastic Games and Applications, Volume 570 of NATO Science Series C, Mathematical and Physical Sciences
, vol.570
, pp. 227-251
-
-
Raghavan, T.E.S.1
-
13
-
-
21144453516
-
Perfect-information stochastic parity games
-
Springer
-
Wieslaw Zielonka. Perfect-information stochastic parity games. In FOSSACS 2004, volume 2987 of LNCS, pages 499-513. Springer, 2004.
-
(2004)
FOSSACS 2004, Volume 2987 of LNCS
, vol.2987
, pp. 499-513
-
-
Zielonka, W.1
|