notre_dame_de_la_garde.jpeg

High-Quality Synthesis Against Stochastic Environments

  • Shaull Almagor
  • Orna Kupferman

Schedule

  • Aug. 31, 2016, 10:30 - 12:30(Verification session)

Attachments