Publications

Export 2 results:
Type [ Year(Asc)]
Filters: Keyword is Markov population models  [Clear All Filters]
2015
Bortolussi L, Hillston J.  2015.  Efficient Checking of Individual Rewards Properties in Markov Population Models. Quantitative Aspects of Programming Languages and Systems (QAPL). 194:32–47.
2013
Bortolussi L, Hayden R.  2013.  Bounds on the deviation of discrete-time Markov chains from their mean-field model. Performance Evaluation. 70(10):736-749. (627.18 KB)