Computing Cumulative Rewards using Fast Adaptive Uniformisation
F. Dannenberg‚ E. M. Hahn and M. Kwiatkowska
Book Title
Proc. 11th Conference on Computational Methods in Systems Biology (CMSB'13)
Pages
33–49
Publisher
Springer
Series
LNCS
Volume
8310
Year
2013