Generalized Reactivity(1) Synthesis without a Monolithic Strategy

Matthias Schlaipfer; Georg Hofferek; Roderick Paul Bloem

doi:10.1007/978-3-642-34188-5_6

Generalized Reactivity(1) Synthesis without a Monolithic Strategy

Matthias Schlaipfer, Georg Hofferek, Roderick Paul Bloem

Institute of Applied Information Processing and Communications (7050)

Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

Original language	English
Title of host publication	Hardware and Software: Verification and Testing. 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers
Place of Publication	Berlin Heidelberg
Publisher	Springer
Pages	20-34
Volume	7261
ISBN (Print)	978-3-642-34187-8
DOIs	https://doi.org/10.1007/978-3-642-34188-5_6
Publication status	Published - 2012
Event	Haifa Verification Conference - Haifa, Israel Duration: 6 Dec 2011 → 8 Dec 2011

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer

Conference

Conference	Haifa Verification Conference
Country/Territory	Israel
City	Haifa
Period	6/12/11 → 8/12/11

Fields of Expertise

Information, Communication & Computing

Treatment code (Nähere Zuordnung)

Application

Access to Document

10.1007/978-3-642-34188-5_6

paper_2.pdfFinal published version, 368 KB

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). Springer. https://doi.org/10.1007/978-3-642-34188-5_6

Generalized Reactivity(1) Synthesis without a Monolithic Strategy. / Schlaipfer, Matthias; Hofferek, Georg; Bloem, Roderick Paul.
Hardware and Software: Verification and Testing. 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers. Vol. 7261 Berlin Heidelberg: Springer, 2012. p. 20-34 (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

Schlaipfer, M, Hofferek, G & Bloem, RP 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, Lecture Notes in Computer Science, Springer, Berlin Heidelberg, pp. 20-34, Haifa Verification Conference, Haifa, Israel, 6/12/11. https://doi.org/10.1007/978-3-642-34188-5_6

Schlaipfer M, Hofferek G, Bloem RP. 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. Berlin Heidelberg: Springer. 2012. p. 20-34. (Lecture Notes in Computer Science). doi: 10.1007/978-3-642-34188-5_6

Schlaipfer, Matthias ; Hofferek, Georg ; Bloem, Roderick Paul. / Generalized Reactivity(1) Synthesis without a Monolithic Strategy. Hardware and Software: Verification and Testing. 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers. Vol. 7261 Berlin Heidelberg : Springer, 2012. pp. 20-34 (Lecture Notes in Computer Science).

@inproceedings{416fda3c3a384dcb892a6895cca0f070,

title = "Generalized Reactivity(1) Synthesis without a Monolithic Strategy",

author = "Matthias Schlaipfer and Georg Hofferek and Bloem, {Roderick Paul}",

year = "2012",

doi = "10.1007/978-3-642-34188-5_6",

language = "English",

isbn = "978-3-642-34187-8",

volume = "7261",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "20--34",

booktitle = "Hardware and Software: Verification and Testing. 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers",

note = "Haifa Verification Conference ; Conference date: 06-12-2011 Through 08-12-2011",

}

TY - GEN

T1 - Generalized Reactivity(1) Synthesis without a Monolithic Strategy

AU - Schlaipfer, Matthias

AU - Hofferek, Georg

AU - Bloem, Roderick Paul

PY - 2012

Y1 - 2012

UR - http://www.springerlink.com/content/978-3-642-34187-8/

UR - http://www.springerlink.com/content/f530683n6530x260/

U2 - 10.1007/978-3-642-34188-5_6

DO - 10.1007/978-3-642-34188-5_6

M3 - Conference paper

SN - 978-3-642-34187-8

VL - 7261

T3 - Lecture Notes in Computer Science

SP - 20

EP - 34

BT - Hardware and Software: Verification and Testing. 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers

PB - Springer

CY - Berlin Heidelberg

T2 - Haifa Verification Conference

Y2 - 6 December 2011 through 8 December 2011

ER -

Generalized Reactivity(1) Synthesis without a Monolithic Strategy

Publication series

Conference

Fields of Expertise

Treatment code (Nähere Zuordnung)

Access to Document

Other files and links

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

Formal Methods for Design & Verification

Cite this

Generalized Reactivity(1) Synthesis without a Monolithic Strategy

Publication series

Conference

Fields of Expertise

Treatment code (Nähere Zuordnung)

Access to Document

Other files and links

Projects

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

Formal Methods for Design & Verification

Cite this