@InProceedings{   8576390,
  Author        = {{Colcombet}, T. and {G{\"o}ller}, S.},
  BookTitle     = "2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)",
  date-added    = "2020-02-04 10:30:40 +0100",
  date-modified = "2020-02-04 10:30:40 +0100",
  ISSN          = "1043-6871",
  Keywords      = "game theory;regular cost function theory;bound guess actions;bounding constraints;domination games;{$\omega$}-regular winning condition;Games;Cost function;Registers;Reactive power;Automata;Task analysis;Standards",
  Month         = "July",
  Pages         = "1-10",
  Title         = "Games with bound guess actions",
  Year          = "2016",
  File          = "Games with bound guess actions - LICS16-colcombet-goeller - a - a - y.pdf"
}

@InProceedings{ 8576390, Author = {{Colcombet}, T. and {G{\"o}ller}, S.}, BookTitle = "2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)", date-added = "2020-02-04 10:30:40 +0100", date-modified = "2020-02-04 10:30:40 +0100", ISSN = "1043-6871", Keywords = "game theory;regular cost function theory;bound guess actions;bounding constraints;domination games;{$\omega$}-regular winning condition;Games;Cost function;Registers;Reactive power;Automata;Task analysis;Standards", Month = "July", Pages = "1-10", Title = "Games with bound guess actions", Year = "2016", File = "Games with bound guess actions - LICS16-colcombet-goeller - a - a - y.pdf" }