Sign in

Synthesising Strategy Improvement and Recursive Algorithms for Solving 2.5 Player Parity Games.

Ernst Moritz HahnSven ScheweAndrea TurriniLijun Zhang
Published in: VMCAI (2017)
Keyphrases
  • significant improvement
  • orders of magnitude
  • data structure
  • combinatorial optimization
  • computational complexity
  • theoretical analysis
  • learning algorithm
  • optimization problems
  • online game