{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:38:49Z","timestamp":1725565129930},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642161100"},{"type":"electronic","value":"9783642161117"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"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":[[2010]]},"DOI":"10.1007\/978-3-642-16111-7_36","type":"book-chapter","created":{"date-parts":[[2010,9,8]],"date-time":"2010-09-08T12:57:36Z","timestamp":1283950656000},"page":"317-324","source":"Crossref","is-referenced-by-count":3,"title":["A Systematic Testing Approach for Autonomous Mobile Robots Using Domain-Specific Languages"],"prefix":"10.1007","author":[{"given":"Martin","family":"Proetzsch","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fabian","family":"Zimmermann","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Robert","family":"Eschbach","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Johannes","family":"Kloos","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Karsten","family":"Berns","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"2-3","key":"36_CR1","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1023\/B:FORM.0000040029.73127.85","volume":"25","author":"N. Sharygina","year":"2004","unstructured":"Sharygina, N., Browne, J., Xie, F., Kurshan, R., Levin, V.: Lessons learned from model checking a nasa robot controller. Form. Methods Syst. Des.\u00a025(2-3), 241\u2013270 (2004)","journal-title":"Form. Methods Syst. Des."},{"key":"36_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"429","DOI":"10.1007\/11562948_32","volume-title":"Automated Technology for Verification and Analysis","author":"M. Kim","year":"2005","unstructured":"Kim, M., Kang, K.C.: Formal construction and verification of home service robots: A case study. In: Peled, D.A., Tsay, Y.-K. (eds.) ATVA 2005. LNCS, vol.\u00a03707, pp. 429\u2013443. Springer, Heidelberg (2005)"},{"key":"36_CR3","unstructured":"Lankenau, A., Meyer, O.: Formal methods in robotics: Fault tree based verification. In: Proc. Quality Week Europe, Brussels, Belgium (1999)"},{"key":"36_CR4","doi-asserted-by":"crossref","unstructured":"Lankenau, A., R\u00f6fer, T.: A safe and versatile mobility assistant. reinventing the wheelchair. IEEE Robotics and Automation Magazine, 29\u201337 (2001)","DOI":"10.1109\/100.924355"},{"key":"36_CR5","doi-asserted-by":"publisher","first-page":"339","DOI":"10.1080\/095281397147167","volume":"9","author":"J. Rosenblatt","year":"1997","unstructured":"Rosenblatt, J.: Damn: A distributed architecture for mobile navigation. Journal of Experimental and Theoretical Artificial Intelligence\u00a09, 339\u2013360 (1997)","journal-title":"Journal of Experimental and Theoretical Artificial Intelligence"},{"key":"36_CR6","unstructured":"Goldberg, D., Mataric, M.: Design and evaluation of robust behavior-based controllers for distributed multi-robot collection tasks. Robot Teams: From Diversity to Polymorphism (2001)"},{"issue":"1","key":"36_CR7","first-page":"51","volume":"21","author":"C. L\u00fcth","year":"2007","unstructured":"L\u00fcth, C., Krieg-Br\u00fcckner, B.: Sicherheit in der k\u00fcnstlichen intelligenz. K\u00fcnstliche Intelligenz\u00a021(1), 51\u201352 (2007)","journal-title":"K\u00fcnstliche Intelligenz"},{"key":"36_CR8","doi-asserted-by":"crossref","unstructured":"Prowell, S.: Using markov chain usage models to test complex systems. In: Proceedings of the 38th Annual Hawaii International Conference on System Sciences, HICSS 2005, p. 318c (January 2005)","DOI":"10.1109\/HICSS.2005.663"},{"key":"36_CR9","doi-asserted-by":"crossref","unstructured":"Hussain, T., Eschbach, R.: Statistical testing of iec 61499 compliant software components. In: Proceedings of INCOM 2009 (2009)","DOI":"10.3182\/20090603-3-RU-2001.0311"},{"key":"36_CR10","doi-asserted-by":"crossref","unstructured":"Prowell, S., Poore, J.: Foundations of sequence-based software specification\u00a029(5), 417\u2013429 (May 2003)","DOI":"10.1109\/TSE.2003.1199071"},{"issue":"6","key":"36_CR11","doi-asserted-by":"publisher","first-page":"573","DOI":"10.1002\/spe.907","volume":"39","author":"L. Lin","year":"2009","unstructured":"Lin, L., Prowell, S., Poore, J.: The impact of requirements changes on specifications and state machines. Softw. Pract. Exper.\u00a039(6), 573\u2013610 (2009)","journal-title":"Softw. Pract. Exper."},{"key":"36_CR12","doi-asserted-by":"crossref","unstructured":"Kloos, J., Eschbach, R.: Generating system models for a highly configurable train control system using a domain-specific language: A case study. In: Proceedings of A-MOST 2009 (2009)","DOI":"10.1109\/ICSTW.2009.32"},{"issue":"1","key":"36_CR13","doi-asserted-by":"crossref","first-page":"46","DOI":"10.1016\/j.robot.2009.07.027","volume":"58","author":"Martin Proetzsch","year":"2010","unstructured":"Proetzsch, M., Luksch, T., Berns, K.: Development of complex robotic systems using the behavior-based control architecture iB2C. Robotics and Autonomous Systems\u00a058(1) (2010)","journal-title":"Robotics and Autonomous Systems"},{"key":"36_CR14","unstructured":"Braun, T., Wettach, J., Berns, K.: A customizable, multi-host simulation and visualization framework for robot applications. In: 13th International Conference on Advanced Robotics (ICAR 2007), Jeju, Korea, August 21-24, pp. 1105\u20131110 (2007)"}],"container-title":["Lecture Notes in Computer Science","KI 2010: Advances in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-16111-7_36","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,4]],"date-time":"2019-06-04T04:35:04Z","timestamp":1559622904000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-16111-7_36"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642161100","9783642161117"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-16111-7_36","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}