Authors: BORTOLUSSI, LUCA, Hillston, Jane
Contributors: Bertrand, Nathalie, Tribastone, Mirco, Bortolussi, Luca, Hillston, Jane
Subject Terms: Stochastic Model Checking, Reward, Markov Population Model, Stochastic Approximation
File Description: ELETTRONICO
Relation: info:eu-repo/semantics/altIdentifier/wos/WOS:000367344900004; ispartofbook:Proceedings Thirteenth Workshop on Quantitative Aspects of Programming Languages and Systems, {QAPL} 2015, London, UK, 11th-12th April 2015; Thirteenth Workshop on Quantitative Aspects of Programming Languages and Systems; volume:194; firstpage:32; lastpage:47; numberofpages:16; journal:ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE; alleditors:Bertrand, Nathalie; Tribastone, Mirco; http://hdl.handle.net/11368/2856198; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-84958043858
Authors: Bortolussi, Luca, LANCIANI, ROBERTA, Nenzi, Laura
Contributors: Bortolussi, Luca, Lanciani, Roberta, Nenzi, Laura
Subject Terms: Fluid model checking, Linear noise, Maximum entropy, Moment closure, Population model, Stochastic approximation, Stochastic model checking
Relation: info:eu-repo/semantics/altIdentifier/wos/WOS:000445637300002; volume:262; firstpage:189; lastpage:220; numberofpages:32; journal:INFORMATION AND COMPUTATION; http://hdl.handle.net/11368/2931401; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85053026443; https://www.sciencedirect.com/science/article/pii/S089054011830124X