Analysis of Markov Jump Processes under Terminal Constraints.

Michael Backenkhler, Luca Bortolussi, Gerrit Gromann, Verena Wolf

Browse the full TACAS paper archive.