F. Thuijsman;O. J. Vrieze
-;-
Games through Nested Fixpoints
CAV '09 Proceedings of the 21st International Conference on Computer Aided Verification
On Nash-solvability in pure stationary strategies of the deterministic n-person games with perfect information and mean or total effective cost
Discrete Applied Mathematics