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.
Conference
Marijana Lazić in the Program Committee of CAV’21
The PaVeS group is proud to announce that our member Marijana Lazić is part of the Program Committee of CAV’21.