@Unpublished{     fijalkow:hal-00525762,
  Author        = {Fijalkow, Nathana{\"e}l and Horn, Florian},
  date-added    = "2018-05-14 17:45:52 +0000",
  date-modified = "2018-05-14 17:45:52 +0000",
  hal_id        = "hal-00525762",
  hal_version   = "v2",
  Keywords      = "verification ; open systems ; synthesis ; games ; graphs games",
  Month         = "October",
  Note          = "working paper or preprint",
  PDF           = "https://hal.archives-ouvertes.fr/hal-00525762/file/main.pdf",
  Title         = "{The surprizing complexity of generalized reachability games}",
  URL           = "https://hal.archives-ouvertes.fr/hal-00525762",
  Year          = "2010",
  bdsk-url-1    = "https://hal.archives-ouvertes.fr/hal-00525762",
  File          = "main0 (1) - a - a - n.pdf"
}

@Unpublished{ fijalkow:hal-00525762, Author = {Fijalkow, Nathana{\"e}l and Horn, Florian}, date-added = "2018-05-14 17:45:52 +0000", date-modified = "2018-05-14 17:45:52 +0000", hal_id = "hal-00525762", hal_version = "v2", Keywords = "verification ; open systems ; synthesis ; games ; graphs games", Month = "October", Note = "working paper or preprint", PDF = "https://hal.archives-ouvertes.fr/hal-00525762/file/main.pdf", Title = "{The surprizing complexity of generalized reachability games}", URL = "https://hal.archives-ouvertes.fr/hal-00525762", Year = "2010", bdsk-url-1 = "https://hal.archives-ouvertes.fr/hal-00525762", File = "main0 (1) - a - a - n.pdf" }