5 citations · 5 across the 2 of their papers we have counts for
1 paper · 1 filter
Shaun Azzopardi, Nir Piterman, Gerardo Schneider
Temporal synthesis attempts to construct reactive programs that satisfy a given declarative (LTL) formula. Practitioners have found it challenging to work exclusively with declarat…