{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T21:03:15Z","timestamp":1725829395193},"publisher-location":"Cham","reference-count":20,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319243085"},{"type":"electronic","value":"9783319243092"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-24309-2_20","type":"book-chapter","created":{"date-parts":[[2015,9,8]],"date-time":"2015-09-08T02:21:33Z","timestamp":1441678893000},"page":"260-273","source":"Crossref","is-referenced-by-count":1,"title":["Testing a Learn-Verify-Repair Approach for Safe Human-Robot Interaction"],"prefix":"10.1007","author":[{"given":"Shashank","family":"Pathak","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luca","family":"Pulina","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Armando","family":"Tacchella","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,10,17]]},"reference":[{"key":"20_CR1","doi-asserted-by":"crossref","unstructured":"Abbeel, P., Ng, A.Y.: Apprenticeship learning via inverse reinforcement learning. In: Proceedings of the twenty-first international conference on Machine learning, p. 1. ACM (2004)","DOI":"10.1145\/1015330.1015430"},{"key":"20_CR2","volume-title":"Principles of model checking","author":"C Baier","year":"2008","unstructured":"Baier, C., Katoen, J.P., et al.: Principles of model checking, vol. 26202649. MIT press, Cambridge (2008)"},{"key":"20_CR3","doi-asserted-by":"crossref","unstructured":"Barto, A.G.: Reinforcement learning: An introduction. MIT press (1998)","DOI":"10.1016\/S1474-6670(17)38315-5"},{"issue":"4","key":"20_CR4","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1109\/MIS.2006.82","volume":"21","author":"S Bringsjord","year":"2006","unstructured":"Bringsjord, S., Arkoudas, K., Bello, P.: Toward a general logicist methodology for engineering ethically correct robots. IEEE Intelligent Systems 21(4), 38\u201344 (2006)","journal-title":"IEEE Intelligent Systems"},{"key":"20_CR5","doi-asserted-by":"crossref","unstructured":"Calinon, S., Sardellitti, I., Caldwell, D.G.: Learning-based control strategy for safe human-robot interaction exploiting task and robot redundancies. In: 2010 IEEE\/RSJ International Conference on Intelligent Robots and Systems (IROS), pp. 249\u2013254. IEEE (2010)","DOI":"10.1109\/IROS.2010.5648931"},{"key":"20_CR6","doi-asserted-by":"crossref","unstructured":"Chen, T., Hahn, E.M., Han, T., Kwiatkowska, M., Qu, H., Zhang, L.: Model repair for Markov decision processes. In: 2013 International Symposium on Theoretical Aspects of Software Engineering (TASE), pp. 85\u201392. IEEE (2013)","DOI":"10.1109\/TASE.2013.20"},{"issue":"4","key":"20_CR7","doi-asserted-by":"publisher","first-page":"857","DOI":"10.1145\/210332.210339","volume":"42","author":"C Courcoubetis","year":"1995","unstructured":"Courcoubetis, C., Yannakakis, M.: The complexity of probabilistic verification. Journal of the ACM (JACM) 42(4), 857\u2013907 (1995)","journal-title":"Journal of the ACM (JACM)"},{"issue":"1480","key":"20_CR8","doi-asserted-by":"publisher","first-page":"679","DOI":"10.1098\/rstb.2006.2004","volume":"362","author":"K Dautenhahn","year":"2007","unstructured":"Dautenhahn, K.: Socially intelligent robots: dimensions of human-robot interaction. Philosophical Transactions of the Royal Society B: Biological Sciences 362(1480), 679\u2013704 (2007)","journal-title":"Philosophical Transactions of the Royal Society B: Biological Sciences"},{"key":"20_CR9","unstructured":"Haddadin, S., Albu-Sch\u00e4ffer, A., Hirzinger, G.: Safe physical human-robot interaction: measurements, analysis & new insights. In: International Symposium on Robotics Research (ISRR2007), Hiroshima, Japan, pp. 439\u2013450 (2007)"},{"issue":"2","key":"20_CR10","doi-asserted-by":"publisher","first-page":"90","DOI":"10.1016\/j.peva.2010.04.001","volume":"68","author":"J Katoen","year":"2011","unstructured":"Katoen, J., Zapreev, I., Hahn, E., Hermanns, H., Jansen, D.: The ins and outs of the probabilistic model checker mrmc. Performance Evaluation 68(2), 90\u2013104 (2011)","journal-title":"Performance Evaluation"},{"key":"20_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"220","DOI":"10.1007\/978-3-540-72522-0_6","volume-title":"Formal Methods for Performance Evaluation","author":"M Kwiatkowska","year":"2007","unstructured":"Kwiatkowska, M., Norman, G., Parker, D.: Stochastic model checking. In: Bernardo, M., Hillston, J. (eds.) SFM 2007. LNCS, vol. 4486, pp. 220\u2013270. Springer, Heidelberg (2007)"},{"key":"20_CR12","doi-asserted-by":"crossref","unstructured":"Metta, G., Natale, L., Nori, F., Sandini, G., Vernon, D., Fadiga, L., von Hofsten, C., Rosander, K., Lopes, M., Santos-Victor, J., et al.: The iCub Humanoid Robot: An Open-Systems Platform for Research in Cognitive Development. Neural networks: the official journal of the International Neural Network Society (2010)","DOI":"10.1016\/j.neunet.2010.08.010"},{"key":"20_CR13","doi-asserted-by":"crossref","unstructured":"Ng, A., Coates, A., Diel, M., Ganapathi, V., Schulte, J., Tse, B., Berger, E., Liang, E.: Autonomous inverted helicopter flight via reinforcement learning. In: Experimental Robotics IX, pp. 363\u2013372 (2006)","DOI":"10.1007\/11552246_35"},{"key":"20_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"295","DOI":"10.1007\/978-3-319-17524-9_21","volume-title":"NASA Formal Methods","author":"S Pathak","year":"2015","unstructured":"Pathak, S., \u00c1brah\u00e1m, E., Jansen, N., Tacchella, A., Katoen, J.-P.: A greedy approach for the efficient repair of stochastic models. In: Havelund, K., Holzmann, G., Joshi, R. (eds.) NFM 2015. LNCS, vol. 9058, pp. 295\u2013309. Springer, Heidelberg (2015)"},{"key":"20_CR15","unstructured":"Pathak, S., Pulina, L., Metta, G., Tacchella, A.: Ensuring safety of policies learned by reinforcement: reaching objects in the presence of obstacles with the icub. In: 2013 IEEE\/RSJ International Conference on Intelligent Robots and Systems, Tokyo, Japan, November 3\u20137, 2013, pp. 170\u2013175. IEEE (2013)"},{"key":"20_CR16","unstructured":"Pattacini, U., Nori, F., Natale, L., Metta, G., Sandini, G.: An experimental evaluation of a novel minimum-jerk cartesian controller for humanoid robots. In: 2010 IEEE\/RSJ International Conference on Intelligent Robots and Systems, October 18\u201322, 2010, Taipei, Taiwan, pp. 1668\u20131674 (2010)"},{"key":"20_CR17","unstructured":"Puterman, M.L.: Markov decision processes: discrete stochastic dynamic programming, vol. 414. John Wiley & Sons (2009)"},{"key":"20_CR18","unstructured":"Rummery, G., Niranjan, M.: On-line Q-learning using connectionist systems. University of Cambridge, Department of Engineering (1994)"},{"issue":"3\u20134","key":"20_CR19","first-page":"279","volume":"8","author":"CJ Watkins","year":"1992","unstructured":"Watkins, C.J., Dayan, P.: Q-learning. Machine Learning 8(3\u20134), 279\u2013292 (1992)","journal-title":"Machine Learning"},{"key":"20_CR20","doi-asserted-by":"crossref","unstructured":"Wiering, M., Van Otterlo, M.: Reinforcement learning. In: Adaptation, Learning, and Optimization, vol. 12. Springer (2012)","DOI":"10.1007\/978-3-642-27645-3"}],"container-title":["Lecture Notes in Computer Science","AI*IA 2015 Advances in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-24309-2_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,30]],"date-time":"2019-05-30T18:10:52Z","timestamp":1559239852000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-24309-2_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319243085","9783319243092"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-24309-2_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}