Cooperative Reactive Synthesis

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

doi:10.1007/978-3-319-24953-7_29

Cooperative Reactive Synthesis

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

Institut für Angewandte Informationsverarbeitung und Kommunikationstechnologie (7050)

Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

Originalsprache	englisch
Titel	Automated Technology for Verification and Analysis (ATVA'15)
Erscheinungsort	Berlin-Heidelberg
Herausgeber (Verlag)	Springer
Seiten	394-410
Band	9364
ISBN (Print)	978-3-319-24952-0
DOIs	https://doi.org/10.1007/978-3-319-24953-7_29
Publikationsstatus	Veröffentlicht - 2015
Veranstaltung	International Symposium on Automated Technology for Verification and Analysis - Shanghai, China Dauer: 12 Okt. 2015 → 15 Okt. 2015

Publikationsreihe

Name	Lecture Notes in Computer Science
Herausgeber (Verlag)	Springer

Konferenz

Konferenz	International Symposium on Automated Technology for Verification and Analysis
Land/Gebiet	China
Ort	Shanghai
Zeitraum	12/10/15 → 15/10/15

Fields of Expertise

Information, Communication & Computing

Treatment code (Nähere Zuordnung)

Theoretical

Zugriff auf Dokument

10.1007/978-3-319-24953-7_29

main_extended.pdfEndgültige, publizierte Fassung, 200 KB

Andere Dateien und Links

EU - IMMORTAL - IMMORTAL – Integriertes Modelling, Fault Management, Verifikation und verlässliche Design-Umgebung für Cyber-Physical Systeme.
Bloem, R. & Könighofer, R.
1/03/15 → 28/02/18
Projekt: Forschungsprojekt
EU - STANCE - A Source code analysis Toolbox for software security AssuraNCE
Tögl, R., Könighofer, R. & Bloem, R.
1/10/12 → 30/09/15
Projekt: Forschungsprojekt
RiSE - Rigorous Systems Engineering
Könighofer, R., Khalimov, A., Bloem, R., Könighofer, B. & Jacobs, S.
1/03/11 → 31/08/19
Projekt: Forschungsprojekt

Dieses zitieren

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

@inproceedings{5c59da6c15ab4291b23f33fdce644830,

title = "Cooperative Reactive Synthesis",

author = "Roderick Bloem and R{\"u}diger Ehlers and Robert K{\"o}nighofer",

year = "2015",

doi = "10.1007/978-3-319-24953-7_29",

language = "English",

isbn = "978-3-319-24952-0",

volume = "9364",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "394--410",

booktitle = "Automated Technology for Verification and Analysis (ATVA'15)",

note = "International Symposium on Automated Technology for Verification and Analysis ; Conference date: 12-10-2015 Through 15-10-2015",

}

TY - GEN

T1 - Cooperative Reactive Synthesis

AU - Bloem, Roderick

AU - Ehlers, Rüdiger

AU - Könighofer, Robert

PY - 2015

Y1 - 2015

UR - http://atva2015.ios.ac.cn/

UR - http://dx.doi.org/10.1007/978-3-319-24953-7_29

U2 - 10.1007/978-3-319-24953-7_29

DO - 10.1007/978-3-319-24953-7_29

M3 - Conference paper

SN - 978-3-319-24952-0

VL - 9364

T3 - Lecture Notes in Computer Science

SP - 394

EP - 410

BT - Automated Technology for Verification and Analysis (ATVA'15)

PB - Springer

CY - Berlin-Heidelberg

T2 - International Symposium on Automated Technology for Verification and Analysis

Y2 - 12 October 2015 through 15 October 2015

ER -

Cooperative Reactive Synthesis

Publikationsreihe

Konferenz

Fields of Expertise

Treatment code (Nähere Zuordnung)

Zugriff auf Dokument

Andere Dateien und Links

Projekte

EU - IMMORTAL - IMMORTAL – Integriertes Modelling, Fault Management, Verifikation und verlässliche Design-Umgebung für Cyber-Physical Systeme.

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

RiSE - Rigorous Systems Engineering

Dieses zitieren