Two papers accepted at VMCAI'22

We are proud to have two papers accepted at VMCAI’22:

• one about verifying pupperfish privacy in hidden Markov models,
• the other about EPMC getting knowledge in multi-agent systems.