Synthesizing Robust Systems

Roderick Paul Bloem, Krishnendu Chatterjee, Karin Greimel, Thomas Henzinger, Georg Hofferek, Barbara Jobstmann, Bettina Könighofer, Robert Könighofer

Research output: Contribution to journalArticleResearchpeer-review

Original languageEnglish
Pages (from-to)193-220
JournalActa informatica
Volume51
Issue number3
DOIs
Publication statusPublished - 2014

Fields of Expertise

  • Information, Communication & Computing

Treatment code (Nähere Zuordnung)

  • Basic - Fundamental (Grundlagenforschung)
  • Application
  • Theoretical

Cite this

Bloem, R. P., Chatterjee, K., Greimel, K., Henzinger, T., Hofferek, G., Jobstmann, B., ... Könighofer, R. (2014). Synthesizing Robust Systems. Acta informatica, 51(3), 193-220. https://doi.org/10.1007/s00236-013-0191-5

Synthesizing Robust Systems. / Bloem, Roderick Paul; Chatterjee, Krishnendu; Greimel, Karin; Henzinger, Thomas; Hofferek, Georg; Jobstmann, Barbara; Könighofer, Bettina; Könighofer, Robert.

In: Acta informatica, Vol. 51, No. 3, 2014, p. 193-220.

Research output: Contribution to journalArticleResearchpeer-review

Bloem, RP, Chatterjee, K, Greimel, K, Henzinger, T, Hofferek, G, Jobstmann, B, Könighofer, B & Könighofer, R 2014, 'Synthesizing Robust Systems' Acta informatica, vol. 51, no. 3, pp. 193-220. https://doi.org/10.1007/s00236-013-0191-5
Bloem RP, Chatterjee K, Greimel K, Henzinger T, Hofferek G, Jobstmann B et al. Synthesizing Robust Systems. Acta informatica. 2014;51(3):193-220. https://doi.org/10.1007/s00236-013-0191-5
Bloem, Roderick Paul ; Chatterjee, Krishnendu ; Greimel, Karin ; Henzinger, Thomas ; Hofferek, Georg ; Jobstmann, Barbara ; Könighofer, Bettina ; Könighofer, Robert. / Synthesizing Robust Systems. In: Acta informatica. 2014 ; Vol. 51, No. 3. pp. 193-220.
@article{9034a36f2f614338af98e4a32ac5a5f0,
title = "Synthesizing Robust Systems",
author = "Bloem, {Roderick Paul} and Krishnendu Chatterjee and Karin Greimel and Thomas Henzinger and Georg Hofferek and Barbara Jobstmann and Bettina K{\"o}nighofer and Robert K{\"o}nighofer",
year = "2014",
doi = "10.1007/s00236-013-0191-5",
language = "English",
volume = "51",
pages = "193--220",
journal = "Acta informatica",
issn = "1432-0525",
publisher = "Springer New York",
number = "3",

}

TY - JOUR

T1 - Synthesizing Robust Systems

AU - Bloem, Roderick Paul

AU - Chatterjee, Krishnendu

AU - Greimel, Karin

AU - Henzinger, Thomas

AU - Hofferek, Georg

AU - Jobstmann, Barbara

AU - Könighofer, Bettina

AU - Könighofer, Robert

PY - 2014

Y1 - 2014

UR - http://link.springer.com/article/10.1007/s00236-013-0191-5

UR - http://link.springer.com/article/10.1007/s00236-013-0191-5

U2 - 10.1007/s00236-013-0191-5

DO - 10.1007/s00236-013-0191-5

M3 - Article

VL - 51

SP - 193

EP - 220

JO - Acta informatica

JF - Acta informatica

SN - 1432-0525

IS - 3

ER -