12 citations · 20 across the 2 of their papers we have counts for
1 paper · 1 filter
Rüdiger Ehlers
We discuss the problem of experimentally evaluating linear-time temporal logic (LTL) synthesis tools for reactive systems. We first survey previous such work for the currently publ…