1 citations · 2 across the 2 of their papers we have counts for
1 paper · 1 filter
Davide G. Cavezza, Dalal Alrajeh, Andras Gyorgy
Reactive synthesis is concerned with finding a correct-by-construction controller from formal specifications, typically expressed in Linear Temporal Logic (LTL). The specifications…