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 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