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

Institute of Applied Information Processing and Communications (7050)

Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

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

Original language	English
Title of host publication	Proceedings 3rd Workshop on Synthesis (SYNT 2014)
Publisher	Electronic Proceedings in Theoretical Computer Science
Pages	34-50
DOIs	https://doi.org/10.4204/EPTCS.157.7
Publication status	Published - 2014
Event	Workshop on Synthesis (SYNT 2014) - Vienna, Austria Duration: 23 Jul 2014 → 24 Jul 2014

Publication series

Name	EPTCS
Publisher	Electronic Proceedings in Theoretical Computer Science
Volume	157

Conference

Conference	Workshop on Synthesis (SYNT 2014)
Country/Territory	Austria
City	Vienna
Period	23/07/14 → 24/07/14

Fields of Expertise

Information, Communication & Computing

Treatment code (Nähere Zuordnung)

Application
Theoretical

Access to Document

10.4204/EPTCS.157.7

main.pdfAccepted author manuscript, 190 KB

Cite this

@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

Publication series

Conference

Fields of Expertise

Treatment code (Nähere Zuordnung)

Access to Document

Other files and links

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

FWF - QUAINT - Quantified Decision Procedures and Interpolation for Error Correction

FWF - RiSE - Rigorous Systems Engineering

Cite this

How to Handle Assumptions in Synthesis

Abstract

Publication series

Conference

Fields of Expertise

Treatment code (Nähere Zuordnung)

Access to Document

Other files and links

Projects

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

FWF - QUAINT - Quantified Decision Procedures and Interpolation for Error Correction

FWF - RiSE - Rigorous Systems Engineering

Cite this