{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,23]],"date-time":"2025-05-23T04:14:07Z","timestamp":1747973647909,"version":"3.41.0"},"publisher-location":"Cham","reference-count":12,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319168401"},{"type":"electronic","value":"9783319168418"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-16841-8_48","type":"book-chapter","created":{"date-parts":[[2015,4,15]],"date-time":"2015-04-15T02:09:54Z","timestamp":1429063794000},"page":"531-540","source":"Crossref","is-referenced-by-count":1,"title":["Model Checking of a Training System Using NuSMV for Humanoid Robot Soccer"],"prefix":"10.1007","author":[{"given":"Yongho","family":"Kim","sequence":"first","affiliation":[]},{"given":"Mauricio","family":"Gomez","sequence":"additional","affiliation":[]},{"given":"James","family":"Goppert","sequence":"additional","affiliation":[]},{"given":"Eric T.","family":"Matson","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"48_CR1","doi-asserted-by":"crossref","unstructured":"Chiappini, A., Cimatti, A., Macchi, L., Rebollo, O., Roveri, M., Susi, A., Tonetta, S., Vittorini, B.: Formalization and validation of a subset of the European Train Control System. In: 2010 ACM\/IEEE 32nd International Conference on Software Engineering, vol.\u00a02, pp. 109\u2013118 (2010)","DOI":"10.1145\/1810295.1810312"},{"key":"48_CR2","doi-asserted-by":"crossref","unstructured":"P\u0103s\u0103reanu, C.S., Mehlitz, P.C., Bushnell, D.H., Gundy-Burlet, K., Lowry, M., Person, S., Pape, M.: Combining Unit-level Symbolic Execution and System-level Concrete Execution for Testing NASA Software. In: Proc. of the 2008 International Symposium on Software Testing and Analysis, pp. 15\u201326 (2008)","DOI":"10.1145\/1390630.1390635"},{"key":"48_CR3","series-title":"AISC","doi-asserted-by":"publisher","first-page":"517","DOI":"10.1007\/978-3-319-05582-4_45","volume-title":"Robot Intelligence Technology and Applications 2","author":"J.C. Gallagher","year":"2014","unstructured":"Gallagher, J.C., Humphrey, L.R., Matson, E.: Maintaining Model Consistency during In-Flight Adaptation in a Flapping-Wing Micro Air Vehicle. In: Kim, J.-H., Matson, E., Myung, H., Xu, P. (eds.) Robot Intelligence Technology and Applications 2. AISC, vol.\u00a0274, pp. 517\u2013530. Springer, Heidelberg (2014)"},{"key":"48_CR4","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1007\/978-3-540-32256-6_26","volume-title":"RoboCup 2004: Robot Soccer World Cup VIII","author":"M. Ogino","year":"2005","unstructured":"Ogino, M., Kikuchi, M., Ooga, J., Aono, M., Asada, M.: Optic Flow Based Skill Learning for a Humanoid to Trap, Approach to, and Pass a Ball. In: Nardi, D., Riedmiller, M., Sammut, C., Santos-Victor, J. (eds.) RoboCup 2004. LNCS (LNAI), vol.\u00a03276, pp. 323\u2013334. Springer, Heidelberg (2005)"},{"key":"48_CR5","series-title":"AISC","doi-asserted-by":"publisher","first-page":"531","DOI":"10.1007\/978-3-319-05582-4_46","volume-title":"Robot Intelligence Technology and Applications 2","author":"J. Goppert","year":"2014","unstructured":"Goppert, J., Gallagher, J.C., Hwang, I., Matson, E.: Model Checking of a Flapping-Wing Mirco-Air-Vehicle Trajectory Tracking Controller Subject to Disturbances. In: Kim, J.-H., Matson, E., Myung, H., Xu, P. (eds.) Robot Intelligence Technology and Applications 2. AISC, vol.\u00a0274, pp. 531\u2013543. Springer, Heidelberg (2014)"},{"key":"48_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1007\/3-540-48983-5_10","volume-title":"Hybrid Systems: Computation and Control","author":"A. Chutinan","year":"1999","unstructured":"Chutinan, A., Krogh, B.H.: Verification of Polyhedral-Invariant Hybrid Automata Using Polygonal Flow Pipe Approximations. In: Vaandrager, F.W., van Schuppen, J.H. (eds.) HSCC 1999. LNCS, vol.\u00a01569, pp. 76\u201390. Springer, Heidelberg (1999)"},{"key":"48_CR7","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1016\/j.robot.2011.10.005","volume":"60","author":"S. Konur","year":"2011","unstructured":"Konur, S., Dixon, C., Fisher, M.: Analysing Robot Swarm Behavior via Probabilistic Model Checking. Journal of Robotics and Autonomous Systems\u00a060, 199\u2013213 (2011)","journal-title":"Journal of Robotics and Autonomous Systems"},{"key":"48_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"441","DOI":"10.1007\/11691372_29","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"A. Hinton","year":"2006","unstructured":"Hinton, A., Kwiatkowska, M., Norman, G., Parker, D.: PRISM: A tool for automatic verification of probabilistic systems. In: Hermanns, H., Palsberg, J. (eds.) TACAS 2006. LNCS, vol.\u00a03920, pp. 441\u2013444. Springer, Heidelberg (2006)"},{"key":"48_CR9","doi-asserted-by":"crossref","unstructured":"Lerda, F., Kapinski, J., Maka, H., Clarke, E.M., Krogh, B.H.: Model Checking In-The-Loop. In: 27th American Control Conference, pp. 2734\u20132740 (2008)","DOI":"10.1109\/ACC.2008.4586906"},{"key":"48_CR10","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., Park, S., Lerda, F.: Model Checking Programs. Automated Software Engineering\u00a010, 203\u2013232 (2003)","journal-title":"Automated Software Engineering"},{"key":"48_CR11","doi-asserted-by":"crossref","first-page":"359","DOI":"10.1007\/3-540-45657-0_29","volume-title":"Computer Aided Verification","author":"Alessandro Cimatti","year":"2002","unstructured":"Cimatti, A., Clarke, E.M., Giunchiglia, E., Giunchiglia, F., Pistore, M., Roveri, M., Sebastiani, R., Tacchella, A.: NuSMV 2: An OpenSource Tool for Symbolic Model Checking. In: Proc. of the 14th International Conference on Computer Aided Verification, pp. 359\u2013364 (2002)"},{"key":"48_CR12","unstructured":"User manual of NuSMV with the version of 2.5 (October 2014), http:\/\/nusmv.fbk.eu\/NuSMV\/userman\/v25\/nusmv.pdf"}],"container-title":["Advances in Intelligent Systems and Computing","Robot Intelligence Technology and Applications 3"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-16841-8_48","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,22]],"date-time":"2025-05-22T15:06:56Z","timestamp":1747926416000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-16841-8_48"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319168401","9783319168418"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-16841-8_48","relation":{},"ISSN":["2194-5357","2194-5365"],"issn-type":[{"type":"print","value":"2194-5357"},{"type":"electronic","value":"2194-5365"}],"subject":[],"published":{"date-parts":[[2015]]}}}