Debugging Unrealizable Specifications Using Simple Counterstrategies

Robert Könighofer, Georg Hofferek, Roderick Paul Bloem

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

Original languageEnglish
Publication statusPublished - 28 Jun 2009
EventWorkshop on Games for Design, Verification and Synthesis (GASICS) - Grenoble, France
Duration: 28 Jun 2009 → …

Conference

ConferenceWorkshop on Games for Design, Verification and Synthesis (GASICS)
CountryFrance
CityGrenoble
Period28/06/09 → …

Treatment code (Nähere Zuordnung)

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

Cite this

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.

Debugging Unrealizable Specifications Using Simple Counterstrategies. / Könighofer, Robert; Hofferek, Georg; Bloem, Roderick Paul.

2009. Workshop on Games for Design, Verification and Synthesis (GASICS), Grenoble, France.

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

Könighofer, R, Hofferek, G & Bloem, RP 2009, 'Debugging Unrealizable Specifications Using Simple Counterstrategies' Workshop on Games for Design, Verification and Synthesis (GASICS), Grenoble, France, 28/06/09, .
Könighofer R, Hofferek G, Bloem RP. Debugging Unrealizable Specifications Using Simple Counterstrategies. 2009. Workshop on Games for Design, Verification and Synthesis (GASICS), Grenoble, France.
Könighofer, Robert ; Hofferek, Georg ; Bloem, Roderick Paul. / 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",

}

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

ER -