The complexity of reachability in parametric Markov decision processes

Journal of Computer and System Sciences - Tập 119 - Trang 183-210 - 2021
Sebastian Junges1, Joost-Pieter Katoen2, Guillermo A. Pérez3, Tobias Winkler2
1University of California at Berkeley USA
2RWTH Aachen University, Germany
3University of Antwerp, Belgium

Tài liệu tham khảo