Debugging Unrealizable Specifications Using Simple Counterstrategies

Robert Könighofer, Georg Hofferek, Roderick Paul Bloem

Publikation: Konferenzbeitrag(Altdaten) Vortrag oder Präsentation

Originalspracheenglisch
PublikationsstatusVeröffentlicht - 28 Jun 2009
VeranstaltungWorkshop on Games for Design, Verification and Synthesis (GASICS) - Grenoble, Frankreich
Dauer: 28 Jun 2009 → …

Konferenz

KonferenzWorkshop on Games for Design, Verification and Synthesis (GASICS)
LandFrankreich
OrtGrenoble
Zeitraum28/06/09 → …

Treatment code (Nähere Zuordnung)

  • Basic - Fundamental (Grundlagenforschung)
  • Application
  • Theoretical
  • Experimental

Dieses zitieren