Model checking expected time and expected reward formulae with random time bounds
Kwiatkowska, M.; Norman, G.; Pacheco, António
Procs. Second Euro-Japanese Workshop on Stochastic Risk Modelling for Finance, Insurance, Production and Reliability, Chamonix, France, September 18-20 (2002), 282-291
|
