Optimizations for LTL synthesis

Barbara Jobstmann, Roderick Paul Bloem

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Original languageEnglish
Title of host publicationInternational Conference on Formal Methods in Computer-Aided Design
Publisher.
Pages?-?
Publication statusPublished - 2006
EventInternational Conference on Formal Methods in Computer-Aided Design - San Jose, California, United States
Duration: 12 Nov 200616 Nov 2006

Conference

ConferenceInternational Conference on Formal Methods in Computer-Aided Design
CountryUnited States
CitySan Jose, California
Period12/11/0616/11/06

Treatment code (Nähere Zuordnung)

  • Application
  • Theoretical

Cite this

Jobstmann, B., & Bloem, R. P. (2006). Optimizations for LTL synthesis. In International Conference on Formal Methods in Computer-Aided Design (pp. ?-?). ..