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... Read more »