1. INRIA Paris, Team MoKaPlan, 2 rue Simone Iff, 75012 Paris
2. University of Ljubljana, Faculty of Mathematics and Physics, Jadranska 19, SI–1000 Ljubljana, Slovenia; University of Primorska, Faculty of Mathematics, Natural Sciences and Information Technologies, Glagoljaška 8, SI–6000 Koper, Slovenia; Institute
3. University of Oxford, Department of Statistics, 24–29 St Giles, Oxford OX1 3LB, and The Alan Turing Institute, 96 Euston Rd, London NW1 2DB, UK
4. Université libre de Bruxelles, Département de Mathématique, Campus Plaine, Boulevard du Triomphe CP210, B–1050 Brussels