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	France
City	Grenoble
Period	28/06/09 → …

Projects

Jacobs, S., Bloem, R., Könighofer, R., Könighofer, B., Khalimov, A., Hofferek, G. & Braud-Santoni, N.

1/02/08 → 15/07/19

Project: Research area

Könighofer, R., Hofferek, G., Greimel, K. & Bloem, R.

1/01/08 → 30/06/10

Project: Research project

Könighofer, R., Hofferek, G., & Bloem, R. P. (2009). Debugging Unrealizable Specifications Using Simple Counterstrategies. Workshop on Games for Design, Verification and Synthesis (GASICS), Grenoble, France.

@conference{b9e1be3f78c14e2da8feddace8e21e2f,

title = "Debugging Unrealizable Specifications Using Simple Counterstrategies",

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

year = "2009",

month = "6",

day = "28",

language = "English",

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

}