Game-based and simulation-based improvements for LTL synthesis

Barbara Jobstmann, Roderick Paul Bloem

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

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

Jobstmann, B., & Bloem, R. P. (2006). Game-based and simulation-based improvements for LTL synthesis. In Games in Design and Verification (pp. ?-?). ..

Game-based and simulation-based improvements for LTL synthesis. / Jobstmann, Barbara; Bloem, Roderick Paul.

Games in Design and Verification. ., 2006. p. ?-?.

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

Jobstmann, B & Bloem, RP 2006, Game-based and simulation-based improvements for LTL synthesis. in Games in Design and Verification. ., pp. ?-?, Games in Design and Verification, Seattle, Washington, United States, 3/07/06.
Jobstmann B, Bloem RP. Game-based and simulation-based improvements for LTL synthesis. In Games in Design and Verification. . 2006. p. ?-?
Jobstmann, Barbara ; Bloem, Roderick Paul. / Game-based and simulation-based improvements for LTL synthesis. Games in Design and Verification. ., 2006. pp. ?-?
@inproceedings{77fad42ac3ee4e1eb1f34a6bff24cfdb,
title = "Game-based and simulation-based improvements for LTL synthesis",
author = "Barbara Jobstmann and Bloem, {Roderick Paul}",
year = "2006",
language = "English",
pages = "?--?",
booktitle = "Games in Design and Verification",
publisher = ".",

}

TY - GEN

T1 - Game-based and simulation-based improvements for LTL synthesis

AU - Jobstmann, Barbara

AU - Bloem, Roderick Paul

PY - 2006

Y1 - 2006

M3 - Conference contribution

SP - ?-?

BT - Games in Design and Verification

PB - .

ER -