Luca Bortolussi, Jane Hillston
Efficient Checking of Individual Rewards Properties in Markov Population Models
QAPL, 2015.
@inproceedings{QAPL-2015-BortolussiH, author = "Luca Bortolussi and Jane Hillston", booktitle = "{Proceedings of the 13th Workshop on Quantitative Aspects of Programming Languages and Systems}", doi = "10.4204/EPTCS.194.3", pages = "32--47", series = "{EPTCS}", title = "{Efficient Checking of Individual Rewards Properties in Markov Population Models}", volume = 194, year = 2015, }