TY  - RPRT
TI  - Efficient Checking of Individual Rewards Properties in Markov Population Models
AU  - Luca Bortolussi
AU  - Jane Hillston
PY  - 2015
DO  - 10.4204/eptcs.194.3
UR  - https://arxiv.org/abs/1509.08561
ID  - 1509.08561
ER  -