notre_dame_de_la_garde.jpeg

Robust Linear Temporal Logic

  • Paulo Tabuada
  • Daniel Neider

Schedule

  • Aug. 29, 2016, 14:00 - 16:00(Verification, finite models session)

Attachments