As in the year before , Strix won this year’s SYNTCOMP competition in the TLSF/LTL Synthesis Track. Furthermore, the techniques used in Strix will be described in detail in an article which is scheduled to be published in Acta Informatica.
General
Successful Master’s thesis and Christmas workshop
Philip Offtermatt successfully defended his Master’s thesis “Approaching Safety for Parameterized Systems via View Abstraction”. Furthermore, we want to announce the first PaVeS Christmas workshop. It is planned for the 16th December.
