The paper “Checking Qualitative Liveness Properties of Replicated Systems with Stochastic Scheduling” by Michael Blondin, Javier Esparza, Martin Helfrich, Antonín Kučera and Philipp J. Meyer is now published in the proceedings of CAV’20.
Conference
Accepted paper at VMCAI’2021
The PaVeS group is happy to announce that the joint work of Marijana Lazić with Nathalie Bertrand and Josef Widder “A Reduction Theorem for Randomized Distributed Algorithms under Weak Adversaries” was accepted at VMCAI’2021.