Cooperative Reactive Synthesis

Roderick Bloem, Rüdiger Ehlers, Robert Könighofer

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

Original languageEnglish
Title of host publicationAutomated Technology for Verification and Analysis (ATVA'15)
Place of PublicationBerlin-Heidelberg
PublisherSpringer
Pages394-410
Volume9364
ISBN (Print)978-3-319-24952-0
DOIs
Publication statusPublished - 2015
EventInternational Symposium on Automated Technology for Verification and Analysis - Shanghai, China
Duration: 12 Oct 201515 Oct 2015

Publication series

NameLecture Notes in Computer Science
PublisherSpringer

Conference

ConferenceInternational Symposium on Automated Technology for Verification and Analysis
CountryChina
CityShanghai
Period12/10/1515/10/15

Fields of Expertise

  • Information, Communication & Computing

Treatment code (Nähere Zuordnung)

  • Theoretical

Cite this