Cooperative Reactive Synthesis

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

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

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

Projects

EU - STANCE - A Source code analysis Toolbox for software security AssuraNCE

Tögl, R., Könighofer, R. & Bloem, R.

1/10/1230/09/15

Project: Research project

RiSE - Rigorous Systems Engineering

Könighofer, R., Khalimov, A., Bloem, R., Könighofer, B. & Jacobs, S.

1/03/1131/08/19

Project: Research project

Cite this

Bloem, R., Ehlers, R., & Könighofer, R. (2015). Cooperative Reactive Synthesis. In Automated Technology for Verification and Analysis (ATVA'15) (Vol. 9364, pp. 394-410). (Lecture Notes in Computer Science). Berlin-Heidelberg: Springer. https://doi.org/10.1007/978-3-319-24953-7_29