The paper “PAYNT: A Tool for Inductive Synthesis of Probabilistic Programs” by Roman Andriushchenko, Milan Ceska, Sebastian Junges, Joost-Pieter Katoen and Simon Stupinsky has been accepted as tool paper at CAV 2021. The paper passed both the normal paper review as well as the artifact evaluation review. PAYNT is a tool that supports the automated synthesis of finite-state probabilistic programs and supports CEGAR-, CEGIS-, and a mixture of these techniques.

This brings the total number of accepted papers at CAV 2021 for the MOVES Group at three.