@PhdThesis{       busatto-gaston,
  Author        = "Busatto-Gaston, Damien",
  date-added    = "2021-09-27 15:41:00 +0200",
  date-modified = "2021-09-27 15:42:06 +0200",
  Title         = "Symbolic controller synthesis for timed systems: robustness and optimality",
  Year          = "2019",
  File          = "Symbolic controller synthesis for timed systems- robustness and optimality - document.pdf"
}

@PhdThesis{ busatto-gaston, Author = "Busatto-Gaston, Damien", date-added = "2021-09-27 15:41:00 +0200", date-modified = "2021-09-27 15:42:06 +0200", Title = "Symbolic controller synthesis for timed systems: robustness and optimality", Year = "2019", File = "Symbolic controller synthesis for timed systems- robustness and optimality - document.pdf" }