Synthesizing Robust Systems

Roderick Paul Bloem, Karin Greimel, Thomas Henzinger, Barbara Jobstmann

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Original languageEnglish
Title of host publicationProceedings of 9th International Conference on Formal Methods in Computer-Aided Design, FMCAD 2009
Publisher.
Pages85-92
DOIs
Publication statusPublished - 2009

Cite this

Bloem, R. P., Greimel, K., Henzinger, T., & Jobstmann, B. (2009). Synthesizing Robust Systems. In Proceedings of 9th International Conference on Formal Methods in Computer-Aided Design, FMCAD 2009 (pp. 85-92). .. https://doi.org/10.1109/FMCAD.2009.5351139

Synthesizing Robust Systems. / Bloem, Roderick Paul; Greimel, Karin; Henzinger, Thomas; Jobstmann, Barbara.

Proceedings of 9th International Conference on Formal Methods in Computer-Aided Design, FMCAD 2009. ., 2009. p. 85-92.

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Bloem, RP, Greimel, K, Henzinger, T & Jobstmann, B 2009, Synthesizing Robust Systems. in Proceedings of 9th International Conference on Formal Methods in Computer-Aided Design, FMCAD 2009. ., pp. 85-92. https://doi.org/10.1109/FMCAD.2009.5351139
Bloem RP, Greimel K, Henzinger T, Jobstmann B. Synthesizing Robust Systems. In Proceedings of 9th International Conference on Formal Methods in Computer-Aided Design, FMCAD 2009. . 2009. p. 85-92 https://doi.org/10.1109/FMCAD.2009.5351139
Bloem, Roderick Paul ; Greimel, Karin ; Henzinger, Thomas ; Jobstmann, Barbara. / Synthesizing Robust Systems. Proceedings of 9th International Conference on Formal Methods in Computer-Aided Design, FMCAD 2009. ., 2009. pp. 85-92
@inproceedings{ebc75de2f64a4b998c999010f8fcebc5,
title = "Synthesizing Robust Systems",
author = "Bloem, {Roderick Paul} and Karin Greimel and Thomas Henzinger and Barbara Jobstmann",
year = "2009",
doi = "10.1109/FMCAD.2009.5351139",
language = "English",
pages = "85--92",
booktitle = "Proceedings of 9th International Conference on Formal Methods in Computer-Aided Design, FMCAD 2009",
publisher = ".",

}

TY - GEN

T1 - Synthesizing Robust Systems

AU - Bloem, Roderick Paul

AU - Greimel, Karin

AU - Henzinger, Thomas

AU - Jobstmann, Barbara

PY - 2009

Y1 - 2009

UR - http://fmv.jku.at/fmcad09/

U2 - 10.1109/FMCAD.2009.5351139

DO - 10.1109/FMCAD.2009.5351139

M3 - Conference contribution

SP - 85

EP - 92

BT - Proceedings of 9th International Conference on Formal Methods in Computer-Aided Design, FMCAD 2009

PB - .

ER -