Delayed Nondeterminism in Continuous-Time Markov Decision Processes.

Martin R. Neuhuer, Marille Stoelinga, Joost-Pieter Katoen

Browse the full FOSSACS paper archive.