Generalized Reactivity(1) Synthesis without a Monolithic Strategy

Matthias Schlaipfer, Georg Hofferek, Roderick Paul Bloem

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

Original languageEnglish
Title of host publicationHardware and Software: Verification and Testing. 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers
Place of PublicationBerlin Heidelberg
PublisherSpringer
Pages20-34
Volume7261
ISBN (Print)978-3-642-34187-8
DOIs
Publication statusPublished - 2012
EventHaifa Verification Conference - Haifa, Israel
Duration: 6 Dec 20118 Dec 2011

Publication series

NameLecture Notes in Computer Science
PublisherSpringer

Conference

ConferenceHaifa Verification Conference
CountryIsrael
CityHaifa
Period6/12/118/12/11

Fields of Expertise

  • Information, Communication & Computing

Treatment code (Nähere Zuordnung)

  • Application

Projects

EU - DIAMOND - Diagnosis, Error Modelling and Correction for Reliable Systems Design

Khalimov, A., Greimel, K., Jacobs, S., Hofferek, G., Könighofer, B., Könighofer, R. & Bloem, R.

1/01/1031/12/12

Project: Research project

Formal Methods for Design & Verification

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

1/02/0815/07/19

Project: Research area

Cite this

Schlaipfer, M., Hofferek, G., & Bloem, R. P. (2012). Generalized Reactivity(1) Synthesis without a Monolithic Strategy. In Hardware and Software: Verification and Testing. 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers (Vol. 7261, pp. 20-34). (Lecture Notes in Computer Science). Berlin Heidelberg: Springer. https://doi.org/10.1007/978-3-642-34188-5_6