Papers accepted for ARQNL2022 and STTT

The paper (Re)moving Quantifiers to Simply Parameterised Boolean Equation Systems by Thomas Neele was accepted for presentation at ARQNL2022, a workshop affiliated with IJCAR and part of FLoC2022.

Furthermore, the paper Partial-Order Reduction for Parity Games and Parameterised Boolean Equation Systems by Thomas Neele, Antti Valmari, Wieger Wesselink and Tim A. C. Willemse was accepted to a special issue of STTT dedicated to the best papers of TACAS2019.