Journal article
Latticed-LTL synthesis in the presence of noisy inputs
- Abstract:
-
In the classical synthesis problem, we are given a specification ψ over sets of input and output signals, and we synthesize a finite-state transducer that realizes ψ: with every sequence of input signals, the transducer associates a sequence of output signals so that the generated computation satisfies ψ. In recent years, researchers consider extensions of the classical Boolean setting to a multi-valued one. We study a multi-valued setting in which the truth values of the input and output sig...
Expand abstract
- Publication status:
- Published
- Peer review status:
- Peer reviewed
Actions
Access Document
- Files:
-
-
(Accepted manuscript, pdf, 426.4KB)
-
- Publisher copy:
- 10.1007/s10626-017-0242-0
Authors
Funding
+ European Research Council
More from this funder
Grant:
EU’s 7-th Framework Programme
(FP7/2007-2013) / ERC grant agreement no 278410
Bibliographic Details
- Publisher:
- Springer US Publisher's website
- Journal:
- Discrete Event Dynamic Systems Journal website
- Volume:
- 27
- Issue:
- 3
- Pages:
- 547–572
- Publication date:
- 2017-04-09
- Acceptance date:
- 2017-03-06
- DOI:
- EISSN:
-
1573-7594
- ISSN:
-
0924-6703
- Source identifiers:
-
689192
Item Description
- Keywords:
- Pubs id:
-
pubs:689192
- UUID:
-
uuid:655a0c04-bfec-42e8-b923-00ba56d304ff
- Local pid:
- pubs:689192
- Deposit date:
- 2017-04-12
Terms of use
- Copyright holder:
- Springer Science+Business Media New York
- Copyright date:
- 2017
- Notes:
- Copyright © 2017 Springer Science+Business Media New York. This is the accepted manuscript version of the article. The final version is available online from Springer at: https://doi.org/10.1007/s10626-017-0242-0
If you are the owner of this record, you can report an update to it here: Report update to this record