Latticed-LTL synthesis in the presence of noisy inputs
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 satisf...
Autori principali: | , |
---|---|
Natura: | Journal article |
Pubblicazione: |
Springer US
2017
|