@PhdThesis{       Exibard:PhD:2021,
  Author        = "Exibard, L{\'e}o",
  date-added    = "2023-05-26 11:08:19 +0200",
  date-modified = "2023-05-26 11:08:32 +0200",
  hal_id        = "tel-03409602",
  hal_version   = "v1",
  Keywords      = "Register Automata ; Register Transducers ; Reactive Synthesis ; Church Problem ; Data Words ; Data Domains ; Asynchronous Transducers ; Computability ; Continuity ; Transducteurs {\`a} registres ; Synth{\`e}se r{\'e}active ; Probl{\`e}me de Church ; Mots de donn{\'e}es ; Domaines de donn{\'e}es ; Transducteurs asynchrones ; Calculabilit{\'e} ; Continuit{\'e} ; Automates {\`a} registres",
  Month         = "September",
  Number        = "2020AIXM0001",
  PDF           = "https://hal.science/tel-03409602/file/Exibard\_Automatic\_Synthesis\_of\_Systems\_with\_Data.pdf",
  School        = "{Aix Marseille Universit{\'e} (AMU) ; Universit{\'e} libre de Bruxelles (ULB)}",
  Title         = "{Automatic Synthesis of Systems with Data}",
  Type          = "Theses",
  URL           = "https://hal.science/tel-03409602",
  Year          = "2021",
  bdsk-url-1    = "https://hal.science/tel-03409602",
  File          = "Automatic Synthesis of Systems with Data - Exibard\_Automatic\_Synthesis\_of\_Systems\_with\_Data.pdf"
}

@PhdThesis{ Exibard:PhD:2021, Author = "Exibard, L{\'e}o", date-added = "2023-05-26 11:08:19 +0200", date-modified = "2023-05-26 11:08:32 +0200", hal_id = "tel-03409602", hal_version = "v1", Keywords = "Register Automata ; Register Transducers ; Reactive Synthesis ; Church Problem ; Data Words ; Data Domains ; Asynchronous Transducers ; Computability ; Continuity ; Transducteurs {`a} registres ; Synth{`e}se r{\'e}active ; Probl{`e}me de Church ; Mots de donn{\'e}es ; Domaines de donn{\'e}es ; Transducteurs asynchrones ; Calculabilit{\'e} ; Continuit{\'e} ; Automates {`a} registres", Month = "September", Number = "2020AIXM0001", PDF = "https://hal.science/tel-03409602/file/Exibard_Automatic_Synthesis_of_Systems_with_Data.pdf", School = "{Aix Marseille Universit{\'e} (AMU) ; Universit{\'e} libre de Bruxelles (ULB)}", Title = "{Automatic Synthesis of Systems with Data}", Type = "Theses", URL = "https://hal.science/tel-03409602", Year = "2021", bdsk-url-1 = "https://hal.science/tel-03409602", File = "Automatic Synthesis of Systems with Data - Exibard_Automatic_Synthesis_of_Systems_with_Data.pdf" }