{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:52:28Z","timestamp":1740099148402,"version":"3.37.3"},"publisher-location":"Cham","reference-count":17,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319991535"},{"type":"electronic","value":"9783319991542"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-99154-2_22","type":"book-chapter","created":{"date-parts":[[2018,8,14]],"date-time":"2018-08-14T14:14:35Z","timestamp":1534256075000},"page":"356-372","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Policy Synthesis for Collective Dynamics"],"prefix":"10.1007","author":[{"given":"Paul","family":"Piho","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jane","family":"Hillston","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,8,15]]},"reference":[{"key":"22_CR1","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1016\/j.cor.2016.08.003","volume":"77","author":"P Buchholz","year":"2017","unstructured":"Buchholz, P., Dohndorf, I., Scheftelowitsch, D.: Optimal decisions for continuous time Markov decision processes over finite planning horizons. Comput. OR 77, 267\u2013278 (2017)","journal-title":"Comput. OR"},{"key":"22_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"166","DOI":"10.1007\/978-3-319-24953-7_12","volume-title":"Automated Technology for Verification and Analysis","author":"Y Butkova","year":"2015","unstructured":"Butkova, Y., Hatefi, H., Hermanns, H., Kr\u010d\u00e1l, J.: Optimal continuous time Markov decisions. In: Finkbeiner, B., Pu, G., Zhang, L. (eds.) ATVA 2015. LNCS, vol. 9364, pp. 166\u2013182. Springer, Cham (2015). \nhttps:\/\/doi.org\/10.1007\/978-3-319-24953-7_12"},{"issue":"1","key":"22_CR3","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1007\/s10626-010-0094-3","volume":"21","author":"N Gast","year":"2011","unstructured":"Gast, N., Gaujal, B.: A mean field approach for optimization in discrete time. Discrete Event Dyn. Syst. 21(1), 63\u2013101 (2011)","journal-title":"Discrete Event Dyn. Syst."},{"issue":"1","key":"22_CR4","doi-asserted-by":"publisher","first-page":"49","DOI":"10.2307\/3212147","volume":"7","author":"TG Kurtz","year":"1970","unstructured":"Kurtz, T.G.: Solutions of ordinary differential equations as limits of pure jump Markov processes. J. Appl. Probab. 7(1), 49\u201358 (1970)","journal-title":"J. Appl. Probab."},{"key":"22_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1007\/978-3-319-34096-8_4","volume-title":"Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems","author":"M Loreti","year":"2016","unstructured":"Loreti, M., Hillston, J.: Modelling and analysis of collective adaptive systems with CARMA and its tools. In: Bernardo, M., De Nicola, R., Hillston, J. (eds.) SFM 2016. LNCS, vol. 9700, pp. 83\u2013119. Springer, Cham (2016). \nhttps:\/\/doi.org\/10.1007\/978-3-319-34096-8_4"},{"key":"22_CR6","doi-asserted-by":"crossref","unstructured":"Piho, P., Georgoulas, A., Hillston, J.: Goals and resource constraints in CARMA. In: Proceedings of the Ninth International Workshop on the Practical Application of Stochastic Modelling (PASM), pp. 155\u2013172 (2018)","DOI":"10.1016\/j.entcs.2018.03.039"},{"key":"22_CR7","doi-asserted-by":"crossref","unstructured":"Jonsson, B., Larsen, K.G.: Specification and refinement of probabilistic processes. In: Proceedings of the Sixth Annual Symposium on Logic in Computer Science (LICS 1991), pp. 266\u2013277 (1991)","DOI":"10.1109\/LICS.1991.151651"},{"issue":"34","key":"22_CR8","doi-asserted-by":"publisher","first-page":"4373","DOI":"10.1016\/j.tcs.2011.05.010","volume":"412","author":"B Caillaud","year":"2011","unstructured":"Caillaud, B., Delahaye, B., Larsen, K.G., Legay, A., Pedersen, M.L., Wasowski, A.: Constraint Markov chains. Theor. Comput. Sci. 412(34), 4373\u20134404 (2011)","journal-title":"Theor. Comput. Sci."},{"key":"22_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1007\/978-3-319-10696-0_21","volume-title":"Quantitative Evaluation of Systems","author":"A Georgoulas","year":"2014","unstructured":"Georgoulas, A., Hillston, J., Milios, D., Sanguinetti, G.: Probabilistic programming process algebra. In: Norman, G., Sanders, W. (eds.) QEST 2014. LNCS, vol. 8657, pp. 249\u2013264. Springer, Cham (2014). \nhttps:\/\/doi.org\/10.1007\/978-3-319-10696-0_21"},{"issue":"1","key":"22_CR10","doi-asserted-by":"publisher","first-page":"5:1","DOI":"10.1145\/2522968.2522973","volume":"46","author":"R Nicola De","year":"2013","unstructured":"De Nicola, R., Latella, D., Loreti, M., Massink, M.: A uniform definition of stochastic process calculi. ACM Comput. Surv. 46(1), 5:1\u20135:35 (2013)","journal-title":"ACM Comput. Surv."},{"key":"22_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"122","DOI":"10.1007\/978-3-642-16612-9_11","volume-title":"Runtime Verification","author":"A Legay","year":"2010","unstructured":"Legay, A., Delahaye, B., Bensalem, S.: Statistical model checking: an overview. In: Barringer, H., et al. (eds.) RV 2010. LNCS, vol. 6418, pp. 122\u2013135. Springer, Heidelberg (2010). \nhttps:\/\/doi.org\/10.1007\/978-3-642-16612-9_11"},{"key":"22_CR12","doi-asserted-by":"publisher","first-page":"84","DOI":"10.1016\/j.peva.2017.08.007","volume":"116","author":"E Bartocci","year":"2017","unstructured":"Bartocci, E., Bortolussi, L., Br\u00e1zdil, T., Milios, D., Sanguinetti, G.: Policy learning in continuous-time Markov decision processes using Gaussian processes. Perform. Eval. 116, 84\u2013100 (2017)","journal-title":"Perform. Eval."},{"key":"22_CR13","doi-asserted-by":"publisher","DOI":"10.1002\/9780470316962","volume-title":"Convergence of Probability Measures","author":"P Billingsley","year":"1999","unstructured":"Billingsley, P.: Convergence of Probability Measures, 2nd edn. Wiley, New York (1999)","edition":"2"},{"key":"22_CR14","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1016\/j.ic.2015.12.001","volume":"247","author":"L Bortolussi","year":"2016","unstructured":"Bortolussi, L.: Hybrid behaviour of Markov population models. Inf. Comput. 247, 37\u201386 (2016)","journal-title":"Inf. Comput."},{"issue":"4","key":"22_CR15","doi-asserted-by":"publisher","first-page":"682","DOI":"10.1016\/j.neunet.2008.02.003","volume":"21","author":"J Peters","year":"2008","unstructured":"Peters, J., Schaal, S.: Reinforcement learning of motor skills with policy gradients. Neural Netw. 21(4), 682\u2013697 (2008)","journal-title":"Neural Netw."},{"key":"22_CR16","series-title":"North-Holland Personal Library","volume-title":"Stochastic Processes in Physics and Chemistry","author":"N Kampen Van","year":"2011","unstructured":"Van Kampen, N.: Stochastic Processes in Physics and Chemistry. North-Holland Personal Library. Elsevier Science, Amsterdam (2011)"},{"key":"22_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1007\/978-3-642-40196-1_9","volume-title":"Quantitative Evaluation of Systems","author":"L Bortolussi","year":"2013","unstructured":"Bortolussi, L., Lanciani, R.: Model checking Markov population models by central limit approximation. In: Joshi, K., Siegle, M., Stoelinga, M., D\u2019Argenio, P.R. (eds.) QEST 2013. LNCS, vol. 8054, pp. 123\u2013138. Springer, Heidelberg (2013). \nhttps:\/\/doi.org\/10.1007\/978-3-642-40196-1_9"}],"container-title":["Lecture Notes in Computer Science","Quantitative Evaluation of Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-99154-2_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,8,14]],"date-time":"2018-08-14T14:29:40Z","timestamp":1534256980000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-99154-2_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319991535","9783319991542"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-99154-2_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]}}}