Synthesizing Robust Systems with RATSY

Roderick Paul Bloem, Hans-Jürgen Gamauf, Georg Hofferek, Bettina Könighofer, Robert Könighofer

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish
Title of host publicationProceedings First Workshop on Synthesis (SYNT 2012)
PublisherElectronic Proceedings in Theoretical Computer Science
Pages47-53
Volume84
DOIs
Publication statusPublished - 2012
EventWorkshop on Synthesis (SYNT 2012) - Berkeley, California, United States
Duration: 7 Jul 20128 Jul 2012

Conference

ConferenceWorkshop on Synthesis (SYNT 2012)
CountryUnited States
CityBerkeley, California
Period7/07/128/07/12

Fields of Expertise

  • Information, Communication & Computing

Treatment code (Nähere Zuordnung)

  • Application

Cite this