{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T07:14:33Z","timestamp":1725520473568},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642343261"},{"type":"electronic","value":"9783642343278"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-34327-8_7","type":"book-chapter","created":{"date-parts":[[2012,10,18]],"date-time":"2012-10-18T21:47:32Z","timestamp":1350596852000},"page":"40-51","source":"Crossref","is-referenced-by-count":1,"title":["Modeling Robot Behavior with CCL"],"prefix":"10.1007","author":[{"given":"Konrad","family":"Ku\u0142akowski","sequence":"first","affiliation":[]},{"given":"Tomasz","family":"Szmuc","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"7_CR1","doi-asserted-by":"crossref","unstructured":"Albus, J.S., et al.: 4D\/RCS: A Reference Model Architecture For Unmanned Vehicle Systems Version 2.0. Technical report, NIST Interagency (2002)","DOI":"10.6028\/NIST.IR.6910"},{"key":"7_CR2","unstructured":"Arkin, R.C.: Intelligent Control of Robot Mobility, ch. 16. Wiley (2007)"},{"key":"7_CR3","volume-title":"Principles of model checking","author":"C. Baier","year":"2008","unstructured":"Baier, C., Katoen, J.: Principles of model checking. The MIT Press, Cambridge (2008)"},{"key":"7_CR4","unstructured":"Bergstra, J.A., Ponse, A., Smolka, S.A. (eds.): Handbook of Process Algebra. North-Holland (2001)"},{"issue":"3","key":"7_CR5","doi-asserted-by":"publisher","first-page":"14","DOI":"10.1109\/JRA.1986.1087032","volume":"2","author":"R.A. Brooks","year":"1986","unstructured":"Brooks, R.A.: A robust layered control system for a mobile robot. IEEE J. Robot. and Auto.\u00a02(3), 14\u201323 (1986)","journal-title":"IEEE J. Robot. and Auto."},{"key":"7_CR6","doi-asserted-by":"crossref","unstructured":"Brooks, R.A.: The behavior language; user\u2019s guide. Technical report, Massachusetts Institute of Technology, Artificial Intelligence Laboratory (1990)","DOI":"10.21236\/ADA225808"},{"key":"7_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"372","DOI":"10.1007\/978-3-642-19835-9_33","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"H. Garavel","year":"2011","unstructured":"Garavel, H., Lang, F., Mateescu, R., Serwe, W.: CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processes. In: Abdulla, P.A., Leino, K.R.M. (eds.) TACAS 2011. LNCS, vol.\u00a06605, pp. 372\u2013387. Springer, Heidelberg (2011)"},{"key":"7_CR8","unstructured":"Groves, W., Collins, J., Gini, M.: Visualization and analysis methods for comparing agent behavior in TAC SCM. In: AAMAS 2009: The 8th International Conference on Autonomous Agents and Multiagent Systems (May 2009)"},{"key":"7_CR9","doi-asserted-by":"crossref","unstructured":"Hardey, K., Mattis, M., Goadrich, M., Corapcioglu, E., Jadud, M.: Exploring and Evolving Process-oriented Control for Real and Virtual Fire Fighting Robots. In: Proceedings of Genetic and Evolutionary Computation Conference (2012)","DOI":"10.1145\/2330163.2330179"},{"key":"7_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1007\/3540634932_2","volume-title":"KI-97: Advances in Artificial Intelligence","author":"K. Konolige","year":"1997","unstructured":"Konolige, K.: COLBERT: A Language for Reactive Control in Sapphira. In: Brewka, G., Habel, C., Nebel, B. (eds.) KI 1997. LNCS, vol.\u00a01303, pp. 31\u201352. Springer, Heidelberg (1997)"},{"key":"7_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1007\/978-3-642-13541-5_6","volume-title":"Agent and Multi-Agent Systems: Technologies and Applications","author":"K. Ku\u0142akowski","year":"2010","unstructured":"Ku\u0142akowski, K.: cljRobust - Clojure Programming API for Lego Mindstorms NXT. In: J\u0119drzejowicz, P., Nguyen, N.T., Howlet, R.J., Jain, L.C. (eds.) KES-AMSTA 2010, Part II. LNCS, vol.\u00a06071, pp. 52\u201361. Springer, Heidelberg (2010)"},{"key":"7_CR12","unstructured":"Ku\u0142akowski, K.: CCL Sim, the simulation environment for concurrent systems. In: Proceedings of Dependability and Complex Systems, DepCoS (2012)"},{"key":"7_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1007\/978-3-642-17319-6_24","volume-title":"Simulation, Modeling, and Programming for Autonomous Robots","author":"K. Ku\u0142akowski","year":"2010","unstructured":"Ku\u0142akowski, K., Matyasik, P.: RobustHX - The Robust Middleware Library for Hexor Robots. In: Ando, N., Balakirsky, S., Hemker, T., Reggiani, M., von Stryk, O. (eds.) SIMPAR 2010. LNCS, vol.\u00a06472, pp. 241\u2013250. Springer, Heidelberg (2010)"},{"key":"7_CR14","doi-asserted-by":"crossref","unstructured":"Long, L., Hanford, S., Janrathitikarn, O.: A review of intelligent systems software for autonomous vehicles. In: IEEE Symposium on Computational Intelligence in Security and Defense Applications, CISDA (2007)","DOI":"10.1109\/CISDA.2007.368137"},{"issue":"3","key":"7_CR15","doi-asserted-by":"publisher","first-page":"280","DOI":"10.1109\/70.34764","volume":"5","author":"D.M. Lyons","year":"1989","unstructured":"Lyons, D.M., Arbib, M.A.: A formal model of computation for sensory-based robotics. IEEE Transactions on Robotics and Automation\u00a05(3), 280\u2013293 (1989)","journal-title":"IEEE Transactions on Robotics and Automation"},{"key":"7_CR16","unstructured":"Milner, R.: Communication and Concurrency. Prentice-Hall (1989)"},{"key":"7_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"150","DOI":"10.1007\/978-3-642-23938-0_16","volume-title":"Computational Collective Intelligence. Technologies and Applications","author":"G.J. Nalepa","year":"2011","unstructured":"Nalepa, G.J., Biesiada, B.: Declarative Design of Control Logic for Mindstorms NXT with XTT2 Method. In: J\u0119drzejowicz, P., Nguyen, N.T., Hoang, K. (eds.) ICCCI 2011, Part II. LNCS, vol.\u00a06923, pp. 150\u2013159. Springer, Heidelberg (2011)"},{"issue":"1","key":"7_CR18","first-page":"83","volume":"26","author":"L. Rai","year":"2010","unstructured":"Rai, L., Kook, J., Hong, J.: Non-Deterministic Behavior Modeling Framework for Embedded Real-Time Systems Operating in Uncertain Environments. Journal of Information Science and Engineering\u00a026(1), 83\u201396 (2010)","journal-title":"Journal of Information Science and Engineering"},{"key":"7_CR19","unstructured":"Risler, M., von Stryk, O.: Formal Behavior Specification of Multi-Robot Systems Using Hierarchical State Machines in XABSL. In: Workshop on Formal Models and Methods for Multi-Robot Systems, pp. 1\u20137 (August 2008)"},{"key":"7_CR20","unstructured":"Xiao, W., Liu, T., Baltes, J.: An intuitive and flexible architecture for intelligent mobile robots. In: The Second International Conference on Autonomous Robots and Agents (ICARA), Palmerston North, pp. 52\u201357 (2004)"},{"issue":"4","key":"7_CR21","first-page":"295","volume":"4","author":"Q. Zhang","year":"2009","unstructured":"Zhang, Q., Zhang, Y.-F., Qin, S.-Y.: Modeling and analysis for obstacle avoidance of a behavior-based robot with objected oriented methods. Journal of Computers\u00a04(4), 295\u2013302 (2009)","journal-title":"Journal of Computers"},{"key":"7_CR22","unstructured":"Ziparo, V.A., Locchi, L., Nardi, D., Palamara, P.F., Costelha, H.: Petri net plans: a formal model for representation and execution of multi-robot plans. In: AAMAS 2008: Proceedings of the 7th International Joint Conference on Autonomous Agents and Multiagent Systems (May 2008)"}],"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-642-34327-8_7.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T08:51:49Z","timestamp":1620118309000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-34327-8_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642343261","9783642343278"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-34327-8_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}