Periodic Reporting for period 4 - SYNTECH (Synthesis Technologies for Reactive Systems Software Engineers)

Reactive synthesis is an automated procedure to obtain a correct-by-construction reactive system from a given specification. Specifications are different than ordinary code as they focus on what properties the system should satisfy rather than on how it will satisfy them...