Game-based and simulation-based improvements for LTL synthesis

Barbara Jobstmann, Roderick Paul Bloem

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem Konferenzband

Originalspracheenglisch
TitelGames in Design and Verification
Herausgeber (Verlag).
Seiten?-?
PublikationsstatusVeröffentlicht - 2006
VeranstaltungGames in Design and Verification - Seattle, Washington, USA / Vereinigte Staaten
Dauer: 3 Jul 20067 Jul 2006

Konferenz

KonferenzGames in Design and Verification
LandUSA / Vereinigte Staaten
OrtSeattle, Washington
Zeitraum3/07/067/07/06

Treatment code (Nähere Zuordnung)

  • Application
  • Theoretical

Dieses zitieren