{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T14:27:59Z","timestamp":1725805679882},"publisher-location":"Cham","reference-count":12,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319118994"},{"type":"electronic","value":"9783319119007"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-11900-7_12","type":"book-chapter","created":{"date-parts":[[2014,9,19]],"date-time":"2014-09-19T14:38:44Z","timestamp":1411137524000},"page":"134-145","source":"Crossref","is-referenced-by-count":1,"title":["Optimizing Robotic Team Performance with Probabilistic Model Checking"],"prefix":"10.1007","author":[{"given":"Sagar","family":"Chaki","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Joseph","family":"Giampapa","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"Kyle","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"John","family":"Lehoczky","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"12_CR1","unstructured":"V-REP: Virtual robot experimentation platform (2014)"},{"key":"12_CR2","doi-asserted-by":"crossref","unstructured":"Chen, T., Diciolla, M., Kwiatkowska, M.Z., Mereacre, A.: Quantitative Verification of Implantable Cardiac Pacemakers. In: Proceedings of the 33rd Real-Time Systems Symposium (RTSS 2012), San Juan, PR, USA, pp. 263\u2013272. IEEE Computer Society (December 2012)","DOI":"10.1109\/RTSS.2012.77"},{"key":"12_CR3","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4613-8643-8","volume-title":"Non-Uniform Random Variate Generation","author":"L. Devroye","year":"1986","unstructured":"Devroye, L.: Non-Uniform Random Variate Generation. Springer, New York (1986)"},{"key":"12_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1007\/978-3-642-33512-9_10","volume-title":"Reachability Problems","author":"K. Ghorbal","year":"2012","unstructured":"Ghorbal, K., Duggirala, P.S., Kahlon, V., Ivan\u010di\u0107, F., Gupta, A.: Efficient probabilistic model checking of systems with ranged probabilities. In: Finkel, A., Leroux, J., Potapov, I. (eds.) RP 2012. LNCS, vol.\u00a07550, pp. 107\u2013120. Springer, Heidelberg (2012)"},{"issue":"5","key":"12_CR5","doi-asserted-by":"publisher","first-page":"512","DOI":"10.1007\/BF01211866","volume":"6","author":"H. Hansson","year":"1994","unstructured":"Hansson, H., Jonsson, B.: A Logic for Reasoning about Time and Reliability. Formal Aspects of Computing (FACJ)\u00a06(5), 512\u2013535 (1994)","journal-title":"Formal Aspects of Computing (FACJ)"},{"issue":"3","key":"12_CR6","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1016\/j.tcs.2007.11.013","volume":"391","author":"J. Heath","year":"2008","unstructured":"Heath, J., Kwiatkowska, M.Z., Norman, G., Parker, D., Tymchyshyn, O.: Probabilistic model checking of complex biological pathways. Theoretical Computer Science (TCS)\u00a0391(3), 239\u2013257 (2008)","journal-title":"Theoretical Computer Science (TCS)"},{"key":"12_CR7","unstructured":"Huang, J.: Maximum likelihood estimation of dirichlet distribution parameters. Technical report, Robotics Institute, Carnegie Mellon University (2005)"},{"key":"12_CR8","doi-asserted-by":"crossref","unstructured":"Konur, S., Dixon, C., Fisher, M.: Analysing robot swarm behaviour via probabilistic model checking. In: Robotics and Autonomous Systems (2011)","DOI":"10.1016\/j.robot.2011.10.005"},{"key":"12_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"585","DOI":"10.1007\/978-3-642-22110-1_47","volume-title":"Computer Aided Verification","author":"M. Kwiatkowska","year":"2011","unstructured":"Kwiatkowska, M., Norman, G., Parker, D.: PRISM 4.0: Verification of Probabilistic Real-Time Systems. In: Gopalakrishnan, G., Qadeer, S. (eds.) CAV 2011. LNCS, vol.\u00a06806, pp. 585\u2013591. Springer, Heidelberg (2011)"},{"issue":"3","key":"12_CR10","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1007\/s001650300007","volume":"14","author":"M.Z. Kwiatkowska","year":"2003","unstructured":"Kwiatkowska, M.Z., Norman, G., Sproston, J.: Probabilistic Model Checking of Deadline Properties in the IEEE 1394 FireWire Root Contention Protocol. Formal Aspects of Computing (FACJ)\u00a014(3), 295\u2013318 (2003)","journal-title":"Formal Aspects of Computing (FACJ)"},{"key":"12_CR11","doi-asserted-by":"crossref","unstructured":"Rubenstein, M., Ahler, C., Nagpal, R.: Kilobot: A low cost scalable robot system for collective behaviors. In: IEEE Intl. Conf on Robotics and Automation (ICRA), p. 6 (2012)","DOI":"10.1109\/ICRA.2012.6224638"},{"key":"12_CR12","unstructured":"Segala, R.: Modeling and Verification of Randomized Distributed Real-Time Systems. PhD thesis, Massachusetts Institute of Technology, Cambridge, MA, USA, Available as Technical Report MIT\/LCS\/TR-676 (1995)"}],"container-title":["Lecture Notes in Computer Science","Simulation, Modeling, and Programming for Autonomous Robots"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-11900-7_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,27]],"date-time":"2019-05-27T22:55:20Z","timestamp":1558997720000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-11900-7_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319118994","9783319119007"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-11900-7_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}