Debugging Unrealizable Specifications Using Simple Counterstrategies

Robert Könighofer, Georg Hofferek, Roderick Paul Bloem

Research output: Contribution to conference › (Old data) Lecture or Presentation

Original language	English
Publication status	Published - 28 Jun 2009
Event	Workshop on Games for Design, Verification and Synthesis (GASICS) - Grenoble, France Duration: 28 Jun 2009 → …

Conference	Workshop on Games for Design, Verification and Synthesis (GASICS)
Country/Territory	France
City	Grenoble
Period	28/06/09 → …

Treatment code (Nähere Zuordnung)

@conference{b9e1be3f78c14e2da8feddace8e21e2f,

title = "Debugging Unrealizable Specifications Using Simple Counterstrategies",

author = "Robert K{\"o}nighofer and Georg Hofferek and Bloem, {Roderick Paul}",

year = "2009",

month = jun,

day = "28",

language = "English",

note = "Workshop on Games for Design, Verification and Synthesis (GASICS) ; Conference date: 28-06-2009",

}

TY - CONF

T1 - Debugging Unrealizable Specifications Using Simple Counterstrategies

AU - Könighofer, Robert

AU - Hofferek, Georg

AU - Bloem, Roderick Paul

PY - 2009/6/28

Y1 - 2009/6/28

UR - http://www.lsv.ens-cachan.fr/Events/gasics09/

M3 - (Old data) Lecture or Presentation

T2 - Workshop on Games for Design, Verification and Synthesis (GASICS)

Y2 - 28 June 2009

ER -