Game-based and simulation-based improvements for LTL synthesis

Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

Original language	English
Title of host publication	Games in Design and Verification
Publisher	.
Pages	?-?
Publication status	Published - 2006
Event	Games in Design and Verification - Seattle, Washington, United States Duration: 3 Jul 2006 → 7 Jul 2006

Conference	Games in Design and Verification
Country/Territory	United States
City	Seattle, Washington
Period	3/07/06 → 7/07/06

Treatment code (Nähere Zuordnung)

EU - Prosyd - Property-Based System Design
Pill, I. H., Staber, S. S., Griesmayer, A., Jobstmann, B. & Bloem, R.
1/01/04 → 31/12/06
Project: Research project

@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 = ".",

note = "Games in Design and Verification ; Conference date: 03-07-2006 Through 07-07-2006",

}