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...

Deskribapen osoa

Xehetasun bibliografikoak
Egile Nagusiak: Almagor, S, Kupferman, O
Formatua: Journal article
Argitaratua: Springer US 2017