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