Article ID Journal Published Year Pages File Type
10332905 Journal of Computer and System Sciences 2013 18 Pages PDF
Abstract
► Simple proof of optimality of memoryless strategies in concurrent reachability game. ► A strategy-improvement algorithm for concurrent reachability game. ► A strategy-improvement algorithm for turn-based stochastic safety game.
Related Topics
Physical Sciences and Engineering Computer Science Computational Theory and Mathematics
Authors
, , ,