Assume-Guarantee Synthesis for Concurrent Reactive Programs with Partial Information

Roderick Paul Bloem, Krishnendu Chatterjee, Swen Jacobs, Robert Könighofer

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish
Title of host publicationTools and Algorithms for the Construction and Analysis of Systems (TACAS) - 21st International Conference
Place of PublicationBerlin Heidelberg
PublisherSpringer
Pages517-532
Volume9035
ISBN (Print)978-3-662-46680-3
DOIs
Publication statusPublished - 2015
EventInternational Conference on Tools and Algorithms for the Construction and Analysis of Systems - London, United Kingdom
Duration: 13 Apr 201517 Apr 2015

Publication series

NameLecture Notes in Computer Science
PublisherSpringer

Conference

ConferenceInternational Conference on Tools and Algorithms for the Construction and Analysis of Systems
CountryUnited Kingdom
CityLondon
Period13/04/1517/04/15

Fields of Expertise

  • Information, Communication & Computing

Treatment code (Nähere Zuordnung)

  • Application
  • Theoretical

Cite this