The PaVeS group contributed¬† to FoSSaCS’22 with two papers:

  • “Separators in Continuous Petri Nets” by Miachel Blondin and Javier Esparza
  • Parameterized Analysis of Reconfigurable Broadcast Networks” by A. R. Balasubramanian, Lucie Guillou and Chana Weil-Kennedy