{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:48:53Z","timestamp":1740098933190,"version":"3.37.3"},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642333521"},{"type":"electronic","value":"9783642333538"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"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":[[2012]]},"DOI":"10.1007\/978-3-642-33353-8_30","type":"book-chapter","created":{"date-parts":[[2012,9,6]],"date-time":"2012-09-06T06:18:53Z","timestamp":1346912333000},"page":"385-397","source":"Crossref","is-referenced-by-count":14,"title":["Verifying Brahms Human-Robot Teamwork Models"],"prefix":"10.1007","author":[{"given":"Richard","family":"Stocker","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Louise","family":"Dennis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Clare","family":"Dixon","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Fisher","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"30_CR1","first-page":"587","volume-title":"Eighteenth National Conference on Artificial Intelligence","author":"M. Montemerlo","year":"2002","unstructured":"Montemerlo, M., Pineau, J., Roy, N., Thrun, S., Verma, V.: Experiences with a mobile robotic guide for the elderly. In: Eighteenth National Conference on Artificial Intelligence, pp. 587\u2013592. American Association for Artificial Intelligence, Menlo Park (2002)"},{"key":"30_CR2","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1016\/S0921-8890(02)00381-0","volume":"42","author":"J. Pineau","year":"2003","unstructured":"Pineau, J., Montemerlo, M., Pollack, M., Roy, N., Thrun, S.: Towards robotic assistants in nursing homes: Challenges and results. Robotics and Autonomous Systems\u00a042, 271\u2013281 (2003)","journal-title":"Robotics and Autonomous Systems"},{"key":"30_CR3","doi-asserted-by":"crossref","unstructured":"Lenz, C., Nair, S., Rickert, M., Knoll, A., Rosel, W., Gast, J., Bannat, A.: Joint-action for Humans and Industrial Robots for Assembly Tasks. In: Proc. 17th IEEE International Symposium on Robot and Human Interactive Communication (RO-MAN), pp. 130\u2013135 (2008)","DOI":"10.1109\/ROMAN.2008.4600655"},{"key":"30_CR4","unstructured":"CHRIS: Cooperative Human Robot Interaction Systems (2011), \n                    \n                      http:\/\/www.chrisfp7.eu"},{"key":"30_CR5","unstructured":"Sierhuis, M.: Modeling and Simulating Work Practice. BRAHMS: a multiagent modeling and simulation language for work system analysis and design. PhD thesis, Social Science and Informatics (SWI), University of Amsterdam, SIKS Dissertation Series No. 2001-10, Amsterdam, The Netherlands (2001)"},{"key":"30_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1007\/978-3-642-22359-4_18","volume-title":"Computational Logic in Multi-Agent Systems","author":"R. Stocker","year":"2011","unstructured":"Stocker, R., Sierhuis, M., Dennis, L., Dixon, C., Fisher, M.: A Formal Semantics for Brahms. In: Leite, J., Torroni, P., \u00c5gotnes, T., Boella, G., van der Torre, L. (eds.) CLIMA XII 2011. LNCS, vol.\u00a06814, pp. 259\u2013274. Springer, Heidelberg (2011)"},{"key":"30_CR7","unstructured":"Holzmann, G.: The Spin Model Checker: Primer and Reference Manual. Addison-Wesley (2003)"},{"key":"30_CR8","unstructured":"Wooldridge, M.: An Introduction to Multiagent Systems. John Wiley & Sons (2002)"},{"key":"30_CR9","unstructured":"Sierhuis, M.: Multiagent Modeling and Simulation in Human-Robot Mission Operations (2006), \n                    \n                      http:\/\/ic.arc.nasa.gov\/ic\/publications"},{"key":"30_CR10","unstructured":"Clancey, W., Sierhuis, M., Kaskiris, C., van Hoof, R.: Advantages of Brahms for Specifying and Implementing a Multiagent Human-Robotic Exploration System. In: Proceedings of the Sixteenth International Florida Artificial Intelligence Research Society Conference (FLAIRS), pp. 7\u201311. AAAI Press (2003)"},{"key":"30_CR11","unstructured":"Clarke, E., Grumberg, O., Peled, D.A.: Model Checking. MIT Press (2000)"},{"key":"30_CR12","doi-asserted-by":"crossref","unstructured":"Stocker, R., Dennis, L., Dixon, C., Fisher, M.: Spin Verification of Brahms Human-Robot Teamwork Models (2012), \n                    \n                      http:\/\/www.csc.liv.ac.uk\/~rss\/Publications.html","DOI":"10.1007\/978-3-642-33353-8_30"},{"key":"30_CR13","doi-asserted-by":"crossref","unstructured":"Hirsh, R., Tyree, K., Johnson, N., Johnson, N.: Intelligence for human-assistant planetary surface robots. In: IntelZigence for Space Robotics, pp. 261\u2013279. TSI Press (2006)","DOI":"10.1061\/40830(188)98"},{"key":"30_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1007\/978-3-642-14977-1_17","volume-title":"Computational Logic in Multi-Agent Systems","author":"S.-S.T.Q. Jongmans","year":"2010","unstructured":"Jongmans, S.-S.T.Q., Hindriks, K.V., van Riemsdijk, M.B.: Model Checking Agent Programs by Using the Program Interpreter. In: Dix, J., Leite, J., Governatori, G., Jamroga, W. (eds.) CLIMA XI. LNCS, vol.\u00a06245, pp. 219\u2013237. Springer, Heidelberg (2010), \n                    \n                      http:\/\/dx.doi.org\/10.1007\/978-3-642-14977-1_17"},{"key":"30_CR15","doi-asserted-by":"crossref","unstructured":"Bordini, R.H., Fisher, M., Pardavila, C., Wooldridge, M.: Model checking AgentSpeak. In: Proceedings of the Second International Joint Conference on Autonomous Agents and Multi-Agent Systems, AAMAS (2003)","DOI":"10.1145\/860638.860641"},{"key":"30_CR16","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1007\/s10515-011-0088-x","volume":"19","author":"L.A. Dennis","year":"2012","unstructured":"Dennis, L.A., Fisher, M., Webster, M., Bordini, R.: Model Checking Agent Programming Languages. Automated Software Engineering\u00a019, 5\u201363 (2012)","journal-title":"Automated Software Engineering"},{"key":"30_CR17","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1023\/A:1022920129859","volume":"10","author":"W. Visser","year":"2003","unstructured":"Visser, W., Havelund, K., Brat, G.P., Park, S., Lerda, F.: Model Checking Programs. Automated Software Engineering\u00a010, 203\u2013232 (2003)","journal-title":"Automated Software Engineering"}],"container-title":["Lecture Notes in Computer Science","Logics in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-33353-8_30","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,7]],"date-time":"2019-05-07T04:33:58Z","timestamp":1557203638000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-33353-8_30"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642333521","9783642333538"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-33353-8_30","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}