Synthesizing Robust Systems

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

doi:10.1007/s00236-013-0191-5

Synthesizing Robust Systems

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

Institute of Applied Information Processing and Communications (7050)

Research output: Contribution to journal › Article › peer-review

Original language	English
Pages (from-to)	193-220
Journal	Acta informatica
Volume	51
Issue number	3
DOIs	https://doi.org/10.1007/s00236-013-0191-5
Publication status	Published - 2014

Fields of Expertise

Information, Communication & Computing

Treatment code (Nähere Zuordnung)

Basic - Fundamental (Grundlagenforschung)
Application
Theoretical

Access to Document

10.1007/s00236-013-0191-5

Cite this

@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

U2 - 10.1007/s00236-013-0191-5

DO - 10.1007/s00236-013-0191-5

M3 - Article

SN - 1432-0525

VL - 51

SP - 193

EP - 220

JO - Acta informatica

JF - Acta informatica

IS - 3

ER -

Synthesizing Robust Systems

Fields of Expertise

Treatment code (Nähere Zuordnung)

Access to Document

Other files and links

RiSE - Rigorous Systems Engineering

Formal Methods for Design & Verification

Cite this

Synthesizing Robust Systems

Fields of Expertise

Treatment code (Nähere Zuordnung)

Access to Document

Other files and links

Projects

RiSE - Rigorous Systems Engineering

Formal Methods for Design & Verification

Cite this