Abstraction for Stochastic Systems by Erlang's Method of Stages.

Joost-Pieter Katoen Daniel Klink Martin Leucker Verena Wolf

Published in: CONCUR (2008)

Keyphrases

cost function
objective function
lower bound
dynamic programming