We are delighted to inform you that three MOVES papers have been accepted at TACAS 2021:

“Inductive Synthesis for Probabilistic Programs Reaches New Horizons” by Roman Andriushchenko, Milan Ceska, Sebastian Junges and Joost-Pieter Katoen

“Multi-objective Optimization of Long-run Average and Total Rewards” by Tim Quatmann and Joost-Pieter Katoen, and

“Finding Provably Optimal Markov Chains” by Jip Spel, Sebastian Junges, and Joost-Pieter Katoen