Publications

Export 1 results:
Type [ Year(Asc)]
Filters: Keyword is Stochastic Approximation  [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.