David Parker is qualified to endorse.
Symbolic Verification and Strategy Synthesis for Turn-based Stochastic Games
| David Parker: | Is registered as an author of this paper. Can endorse for cs.AI, cs.GT, cs.HC, cs.LG, cs.LO, cs.RO, cs.SY, eess.SY. (why?) |
Marta Kwiatkowska, Gethin Norman and Gabriel Santos are not registered as owners of this paper. (why?)