Title: Symbolic Repairs for GR(1) Specifications Speaker: Jan Oliver Ringert, Lecturer in Model-Based Software Development in the Department of Informatics at the University of Leicester Abstract: Reactive synthesis is an automated procedure to obtain a correct-by-construction reactive system from a given specification. Examples include GR(1), an expressive assume-guarantee fragment of LTL, that enables efficient synthesis of the software... Read more »