Game-based and simulation-based improvements for LTL synthesis

Barbara Jobstmann, Roderick Paul Bloem

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish
Title of host publicationGames in Design and Verification
Publisher.
Pages?-?
Publication statusPublished - 2006
EventGames in Design and Verification - Seattle, Washington, United States
Duration: 3 Jul 20067 Jul 2006

Conference

ConferenceGames in Design and Verification
CountryUnited States
CitySeattle, Washington
Period3/07/067/07/06

Treatment code (Nähere Zuordnung)

  • Application
  • Theoretical

Cite this