Baier, C., Chau, C., Drobitko, V., Jantsch, S., & Klüppelholz, S. (2025). Certificates and Witnesses for Multi-objective ω-regular Queries in Markov Decision Processes.
Chicago-Zitierstil (17. Ausg.)Baier, Christel, Calvin Chau, Volodymyr Drobitko, Simon Jantsch, und Sascha Klüppelholz. Certificates and Witnesses for Multi-objective ω-regular Queries in Markov Decision Processes. 2025.
MLA-Zitierstil (9. Ausg.)Baier, Christel, et al. Certificates and Witnesses for Multi-objective ω-regular Queries in Markov Decision Processes. 2025.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.