Graph Games and Reactive Synthesis

Roderick Bloem, Krishnendu Chatterjee, Barbara Jobstmann

Research output: Chapter in Book/Report/Conference proceedingChapterpeer-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