Specification Format for Reactive Synthesis Problems

Ayrat Khalimov

Research output: Contribution to conference › (Old data) Lecture or Presentation

Original languageEnglish
Publication statusPublished - 2015
EventSYNT Workshop -
Duration: 1 Jan 2015 → 1 Jan 2015

Conference

ConferenceSYNT Workshop
Period1/01/15 → 1/01/15

Fields of Expertise

  • Information, Communication & Computing

Cite this