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...
Egile Nagusiak: | , |
---|---|
Formatua: | Journal article |
Argitaratua: |
Springer US
2017
|