1. Algebraic decision diagrams and their applications;Bahar,1993
2. Probably on time and within budget: on reachability in priced probabilistic timed automata;Berendsen,2006
3. Undecidability of cost-bounded reachability in priced probabilistic timed automata;Berendsen,2009
4. Model checking priced probabilistic timed automata;Berendsen,2010
5. Introduction to Stochastic Programming;Birge,2011