Login / Signup

Parameterized complexity of games with monotonically ordered omega-regular objectives.

Véronique BruyèreQuentin HautemJean-François Raskin
Published in: CONCUR (2018)
Keyphrases
  • parameterized complexity
  • fixed parameter tractable
  • game theory
  • global constraints
  • databases
  • symmetry breaking