Login / Signup

The complexity of reachability in parametric Markov decision processes.

Sebastian JungesJoost-Pieter KatoenGuillermo A. PérezTobias Winkler
Published in: J. Comput. Syst. Sci. (2021)
Keyphrases