Graph Games and Reactive Synthesis

Roderick Bloem, Krishnendu Chatterjee, Barbara Jobstmann

Research output: Chapter in Book/Report/Conference proceedingChapterResearchpeer-review

Original languageEnglish
Title of host publicationHandbook of Model Checking
EditorsEdmund M. Clark, Thomas A. Henzinger, Helmut Veith, Roderick Bloem
Place of PublicationCham
PublisherSpringer
Pages921-962
Number of pages42
ISBN (Print)978-3-319-10574-1
DOIs
Publication statusPublished - 2018

Cite this

Bloem, R., Chatterjee, K., & Jobstmann, B. (2018). Graph Games and Reactive Synthesis. In E. M. Clark, T. A. Henzinger, H. Veith, & R. Bloem (Eds.), Handbook of Model Checking (pp. 921-962). Cham: Springer. https://doi.org/10.1007/978-3-319-10575-8_27

Graph Games and Reactive Synthesis. / Bloem, Roderick; Chatterjee, Krishnendu; Jobstmann, Barbara.

Handbook of Model Checking. ed. / Edmund M. Clark; Thomas A. Henzinger; Helmut Veith; Roderick Bloem. Cham : Springer, 2018. p. 921-962.

Research output: Chapter in Book/Report/Conference proceedingChapterResearchpeer-review

Bloem, R, Chatterjee, K & Jobstmann, B 2018, Graph Games and Reactive Synthesis. in EM Clark, TA Henzinger, H Veith & R Bloem (eds), Handbook of Model Checking. Springer, Cham, pp. 921-962. https://doi.org/10.1007/978-3-319-10575-8_27
Bloem R, Chatterjee K, Jobstmann B. Graph Games and Reactive Synthesis. In Clark EM, Henzinger TA, Veith H, Bloem R, editors, Handbook of Model Checking. Cham: Springer. 2018. p. 921-962 https://doi.org/10.1007/978-3-319-10575-8_27
Bloem, Roderick ; Chatterjee, Krishnendu ; Jobstmann, Barbara. / Graph Games and Reactive Synthesis. Handbook of Model Checking. editor / Edmund M. Clark ; Thomas A. Henzinger ; Helmut Veith ; Roderick Bloem. Cham : Springer, 2018. pp. 921-962
@inbook{e1de4620ffdd47eea3ed3b73d55aca51,
title = "Graph Games and Reactive Synthesis",
author = "Roderick Bloem and Krishnendu Chatterjee and Barbara Jobstmann",
year = "2018",
doi = "10.1007/978-3-319-10575-8_27",
language = "English",
isbn = "978-3-319-10574-1",
pages = "921--962",
editor = "Clark, {Edmund M. } and Henzinger, {Thomas A.} and Helmut Veith and Roderick Bloem",
booktitle = "Handbook of Model Checking",
publisher = "Springer",

}

TY - CHAP

T1 - Graph Games and Reactive Synthesis

AU - Bloem, Roderick

AU - Chatterjee, Krishnendu

AU - Jobstmann, Barbara

PY - 2018

Y1 - 2018

UR - https://link.springer.com/chapter/10.1007%2F978-3-319-10575-8_27

U2 - 10.1007/978-3-319-10575-8_27

DO - 10.1007/978-3-319-10575-8_27

M3 - Chapter

SN - 978-3-319-10574-1

SP - 921

EP - 962

BT - Handbook of Model Checking

A2 - Clark, Edmund M.

A2 - Henzinger, Thomas A.

A2 - Veith, Helmut

A2 - Bloem, Roderick

PB - Springer

CY - Cham

ER -