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...
| Main Authors: | , |
|---|---|
| Format: | Journal article |
| Published: |
Springer US
2017
|