no code implementations • 19 Apr 2018 • Krishnendu Chatterjee, Wolfgang Dvořák, Monika Henzinger, Alexander Svozil
For the sequential target problem, we present a linear-time algorithm for graphs, a sub-quadratic algorithm for MDPs, and a quadratic conditional lower bound for games on graphs.