Employment
Employment history is unavailable.
Education
Education history is unavailable.
Projects & Funding
Projects & funding information is unavailable.
Publications (8)
- The Complexity of Games with Randomised Control Save
- Generalised Reachability Games Revisited Save
- Accelerating Markov Chain Model Checking: Good-for-Games Meets Unambiguous Automata Save
- Resolving Nondeterminism by Chance Save
- Simplifying Imperfect Recall Games Save
- On the algorithmic complexity of two player zero-sum games of finite duration with imperfect information Save
- Pushable chromatic number of graphs with degree constraints Save
- A Bridge between Polynomial Optimization and Games with Imperfect Recall Save