3 citations · 4 across the 5 of their papers we have counts for
1 paper · 1 filter
Shaull Almagor, Orna Kupferman
In the classical synthesis problem, we are given an LTL formula ψover sets of input and output signals, and we synthesize a system T that realizes ψ: with every input sequences x,…