How to Handle Assumptions in Synthesis
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 di...
| Main Authors: | , , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Open Publishing Association
2014-07-01
|
| Series: | Electronic Proceedings in Theoretical Computer Science |
| Online Access: | http://arxiv.org/pdf/1407.5395v1 |
| _version_ | 1818475933775953920 |
|---|---|
| author | Roderick Bloem Rüdiger Ehlers Swen Jacobs Robert Könighofer |
| author_facet | Roderick Bloem Rüdiger Ehlers Swen Jacobs Robert Könighofer |
| author_sort | Roderick Bloem |
| collection | DOAJ |
| description | 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. |
| first_indexed | 2024-12-10T09:19:17Z |
| format | Article |
| id | doaj.art-03332321568842068c90d1d2e10b178e |
| institution | Directory Open Access Journal |
| issn | 2075-2180 |
| language | English |
| last_indexed | 2024-12-10T09:19:17Z |
| publishDate | 2014-07-01 |
| publisher | Open Publishing Association |
| record_format | Article |
| series | Electronic Proceedings in Theoretical Computer Science |
| spelling | doaj.art-03332321568842068c90d1d2e10b178e2022-12-22T01:54:45ZengOpen Publishing AssociationElectronic Proceedings in Theoretical Computer Science2075-21802014-07-01157Proc. SYNT 2014345010.4204/EPTCS.157.7:3How to Handle Assumptions in SynthesisRoderick Bloem0Rüdiger Ehlers1Swen Jacobs2Robert Könighofer3 Graz University of Technology University of Bremen / DFKI Graz University of Technology Graz University of Technology 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.http://arxiv.org/pdf/1407.5395v1 |
| spellingShingle | Roderick Bloem Rüdiger Ehlers Swen Jacobs Robert Könighofer How to Handle Assumptions in Synthesis Electronic Proceedings in Theoretical Computer Science |
| title | How to Handle Assumptions in Synthesis |
| title_full | How to Handle Assumptions in Synthesis |
| title_fullStr | How to Handle Assumptions in Synthesis |
| title_full_unstemmed | How to Handle Assumptions in Synthesis |
| title_short | How to Handle Assumptions in Synthesis |
| title_sort | how to handle assumptions in synthesis |
| url | http://arxiv.org/pdf/1407.5395v1 |
| work_keys_str_mv | AT roderickbloem howtohandleassumptionsinsynthesis AT rudigerehlers howtohandleassumptionsinsynthesis AT swenjacobs howtohandleassumptionsinsynthesis AT robertkonighofer howtohandleassumptionsinsynthesis |