Learning to adapt GR(1) specifications through degradation

Tiberiu-Andrei Georgescu, Dalal Alrajeh, Sebastian Uchitel

Reactive synthesis is a powerful tool for generating correct-by-construction controllers from formal specifications. GR(1) is an assume-guarantee specification framework that enabl…