Journal article icon

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
Version:
Accepted Manuscript

Actions


Access Document


Files:
Publisher copy:
10.1007/s10626-017-0242-0

Authors


More by this author
Department:
Oxford, MPLS, Computer Science
Kupferman, O More by this author
More from this funder
Grant:
EU’s 7-th Framework Programme (FP7/2007-2013) / ERC grant agreement no 278410
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
Pubs id:
pubs:689192
URN:
uri:655a0c04-bfec-42e8-b923-00ba56d304ff
UUID:
uuid:655a0c04-bfec-42e8-b923-00ba56d304ff
Local pid:
pubs:689192

Terms of use


Metrics



If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP