1. Akshay, S., Genest, B., Vyas, N.: Distribution-based objectives for Markov decision processes. In: Proceedings of LICS, pp. 36–45. ACM (2018)
2. Baier, C., Katoen, J.-P.: Principles of Model Checking. MIT Press, Cambridge (2008)
3. Lecture Notes in Computer Science;D Beauquier,2002
4. Bell, P.C., Semukhin, P.: Decidability of cutpoint isolation for probabilistic finite automata on letter-bounded inputs. In: Proceedings of CONCUR, vol. 171 of LIPIcs, pp. 22:1–22:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2020)
5. Bertrand, N., Dewaskar, M., Genest, B., Gimbert, H.: Controlling a population. In: Proceedings of CONCUR: Concurrency Theory, volume 85 of LIPIcs, pp. 12:1–12:16. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik (2017)