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
PaVeS at GandALF
The PaVeS group contributed with two accepted papers to GandALF’21: “Reconfigurable Broadcast Networks and Asynchronous Shared-Memory Systems are Equivalent” by A. R. Balasubramanian and Chana Weil-Kennedy and “Abduction of trap invariants in parameterized systems” by Read more…
