How to Handle Assumptions in Synthesis

Roderick Paul Bloem; Rüdiger Ehlers; Swen Jacobs; Robert Könighofer

doi:10.4204/EPTCS.157.7

How to Handle Assumptions in Synthesis

Roderick Paul Bloem, Rüdiger Ehlers, Swen Jacobs, Robert Könighofer

Institut für Angewandte Informationsverarbeitung und Kommunikationstechnologie (7050)

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

Abstract

The increased interest in reactive synthesis over the last decade has led to many improved solutions but also to many new questions. In this paper, we discuss the question of how to deal with assumptions on environment behavior. We present four goals that we think should be met and review several different possibilities that have been proposed. We argue that each of them falls short in at least one aspect

Originalsprache	englisch
Titel	Proceedings 3rd Workshop on Synthesis (SYNT 2014)
Herausgeber (Verlag)	Electronic Proceedings in Theoretical Computer Science
Seiten	34-50
DOIs	https://doi.org/10.4204/EPTCS.157.7
Publikationsstatus	Veröffentlicht - 2014
Veranstaltung	Workshop on Synthesis (SYNT 2014) - Vienna, Österreich Dauer: 23 Juli 2014 → 24 Juli 2014

Publikationsreihe

Name	EPTCS
Herausgeber (Verlag)	Electronic Proceedings in Theoretical Computer Science
Band	157

Konferenz

Konferenz	Workshop on Synthesis (SYNT 2014)
Land/Gebiet	Österreich
Ort	Vienna
Zeitraum	23/07/14 → 24/07/14

Fields of Expertise

Information, Communication & Computing

Treatment code (Nähere Zuordnung)

Application
Theoretical

Zugriff auf Dokument

10.4204/EPTCS.157.7

main.pdfAkzeptiertes Autorenmanuskript, 190 KB

Andere Dateien und Links

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
FWF - QUAINT - Quant. Entscheidungsprozeduren Interpolation f. Korrektur
Hofferek, G., Könighofer, R. & Bloem, R.
1/01/12 → 30/09/15
Projekt: Forschungsprojekt
FWF - 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

@inproceedings{a48edb2781c8473691cdbb3e089762eb,

title = "How to Handle Assumptions in Synthesis",

abstract = "The increased interest in reactive synthesis over the last decade has led to many improved solutions but also to many new questions. In this paper, we discuss the question of how to deal with assumptions on environment behavior. We present four goals that we think should be met and review several different possibilities that have been proposed. We argue that each of them falls short in at least one aspect",

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

year = "2014",

doi = "10.4204/EPTCS.157.7",

language = "English",

series = "EPTCS",

publisher = "Electronic Proceedings in Theoretical Computer Science",

pages = "34--50",

booktitle = "Proceedings 3rd Workshop on Synthesis (SYNT 2014)",

note = "Workshop on Synthesis (SYNT 2014) ; Conference date: 23-07-2014 Through 24-07-2014",

}

TY - GEN

T1 - How to Handle Assumptions in Synthesis

AU - Bloem, Roderick Paul

AU - Ehlers, Rüdiger

AU - Jacobs, Swen

AU - Könighofer, Robert

PY - 2014

Y1 - 2014

N2 - The increased interest in reactive synthesis over the last decade has led to many improved solutions but also to many new questions. In this paper, we discuss the question of how to deal with assumptions on environment behavior. We present four goals that we think should be met and review several different possibilities that have been proposed. We argue that each of them falls short in at least one aspect

AB - The increased interest in reactive synthesis over the last decade has led to many improved solutions but also to many new questions. In this paper, we discuss the question of how to deal with assumptions on environment behavior. We present four goals that we think should be met and review several different possibilities that have been proposed. We argue that each of them falls short in at least one aspect

UR - http://www.easychair.org/smart-program/VSL2014/SYNT-program.html

UR - http://rvg.web.cse.unsw.edu.au/eptcs/paper.cgi?SYNT2014.7

U2 - 10.4204/EPTCS.157.7

DO - 10.4204/EPTCS.157.7

M3 - Conference paper

T3 - EPTCS

SP - 34

EP - 50

BT - Proceedings 3rd Workshop on Synthesis (SYNT 2014)

PB - Electronic Proceedings in Theoretical Computer Science

T2 - Workshop on Synthesis (SYNT 2014)

Y2 - 23 July 2014 through 24 July 2014

ER -

How to Handle Assumptions in Synthesis

Abstract

Publikationsreihe

Konferenz

Fields of Expertise

Treatment code (Nähere Zuordnung)

Zugriff auf Dokument

Andere Dateien und Links

Projekte

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

FWF - QUAINT - Quant. Entscheidungsprozeduren Interpolation f. Korrektur

FWF - RiSE - Rigorous Systems Engineering

Dieses zitieren