{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,5]],"date-time":"2026-01-05T21:45:42Z","timestamp":1767649542889,"version":"build-2065373602"},"reference-count":32,"publisher":"Informa UK Limited","issue":"6","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["International Journal of Systems Science"],"published-print":{"date-parts":[[2006,5,15]]},"DOI":"10.1080\/00207720500438472","type":"journal-article","created":{"date-parts":[[2006,6,27]],"date-time":"2006-06-27T19:10:13Z","timestamp":1151435413000},"page":"339-349","source":"Crossref","is-referenced-by-count":15,"title":["Kripke modelling approaches of a multiple robots system with minimalist communication: A formal approach of choice"],"prefix":"10.1080","volume":"37","author":[{"given":"Suresh","family":"Jeyaraman","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Antonios","family":"Tsourdos","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rafa\u0142","family":"\u017bbikowski","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Brian","family":"White","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"301","reference":[{"key":"CIT0001","doi-asserted-by":"publisher","DOI":"10.1109\/70.736776"},{"key":"CIT0002","doi-asserted-by":"crossref","unstructured":"Beard, RW, McLain, TW and Goodrich, M. 2002. Coordinated target assignment and intercept for unmanned air vehicles. Proceedings of the IEEE International Conference on Robotics and Automation. May2002. pp.2581\u20132586.","DOI":"10.1109\/ROBOT.2002.1013620"},{"key":"CIT0003","doi-asserted-by":"publisher","DOI":"10.1145\/349194.349197"},{"key":"CIT0004","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-04558-9","volume-title":"Systems and Software Verification","author":"B\u00e9rard B","year":"2001"},{"key":"CIT0005","doi-asserted-by":"crossref","DOI":"10.1007\/BFb0109886","volume-title":"An Experimental Study of Performance and Fault-Tolerence of a Hybrid Free-Flight Control Scheme","author":"Bicchi A","year":"1999"},{"volume-title":"Discrete Event Systems: Modeling and Performance Analysis","year":"1993","author":"Cassandras CG","key":"CIT0006"},{"key":"CIT0007","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-4070-7","volume-title":"Introduction to Discrete Event Systems","author":"Cassandras CG","year":"1999"},{"key":"CIT0008","unstructured":"Chandler, A, Heyworth, A, Blair, L and Seward, D. 2000. Testing Petri nets for mobile robots using Gr\u00f6bner bases. 21 st International Conference on Application and Theory of Petri Nets. June2000. pp.21\u201334."},{"key":"CIT0009","doi-asserted-by":"publisher","DOI":"10.1007\/BF01383968"},{"key":"CIT0010","doi-asserted-by":"crossref","DOI":"10.1016\/B978-044450813-3\/50026-6","volume-title":"Model Checking","author":"Clarke EM","year":"2001"},{"key":"CIT0011","doi-asserted-by":"publisher","DOI":"10.1109\/32.940728"},{"key":"CIT0012","unstructured":"Healey, AJ, McMillan, S, Jenkins, D and McGhee, RB. 1995. BUGS: Basic UXO gathering system. Autonomous Vehicles in Mine Countermeasures Symposium. April1995, Naval PGS, Monterey, CA."},{"volume-title":"The Spin Model Checker","year":"2003","author":"Holzmann GJ","key":"CIT0013"},{"key":"CIT0014","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2002.995426"},{"volume-title":"Logic in Computer Science: Modelling and Reasoning about Systems","year":"2000","author":"Huth MRA","key":"CIT0015"},{"key":"CIT0016","unstructured":"Jeyaraman, S, Tsourdos, A, \u017bbikowski, R and White, B. 2004a. A formal approach for decentralised co-ordination among UAVS using hybrid control. 16 th IFAC Symposium on Automatic Control in Aerospace ACA 2004. June14\u2013182004a, St. Petersburg, Russia."},{"key":"CIT0017","unstructured":"Jeyaraman, S, Tsourdos, A, \u017bbikowski, R and White, B. 2004b. A hybrid control approach to autonomous navigation in cooperative multi-robot systems using Kripke models and model checking. 5 th IFAC Symposium on Intelligent Autonomous VehiclesIAV 2004. June5\u201372004b, Lisbon, Portugal. pp.5\u20137. Instituto Superior T\u00e9cnico"},{"key":"CIT0018","doi-asserted-by":"publisher","DOI":"10.1243\/095965105X9506"},{"key":"CIT0019","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2003.817387"},{"key":"CIT0020","doi-asserted-by":"publisher","DOI":"10.2307\/2964568"},{"key":"CIT0021","doi-asserted-by":"publisher","DOI":"10.1002\/malq.19630090502"},{"key":"CIT0022","first-page":"83","volume":"16","author":"Kripke SA","year":"1963","journal-title":"Acta Phil. Fennica"},{"key":"CIT0023","doi-asserted-by":"crossref","unstructured":"Kripke, SA. Semantical analysis of modal logic II Non - normal modal propositional calcul. The Theory of Models. Proceedings of the 1963 International Symposium at Berkeley. June, Amsterdam, North-Holland. pp.206\u2013220.","DOI":"10.1016\/B978-0-7204-2233-7.50026-5"},{"key":"CIT0024","unstructured":"Ladkin, PB and Leue, S. 1992. An Analysis of Message Sequence Charts. Technical Report IAM 92-013. June1992. Institute of Informatics and Applied Mathematics, University of Berne."},{"key":"CIT0025","unstructured":"Leue, S, Mehrmann, L and Rezai, M. 1998. Synthesizing ROOM Models from Message Sequence Chart Specifications. Technical Report 98-06. April1998. University of Waterloo."},{"key":"CIT0026","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-0931-7"},{"key":"CIT0027","unstructured":"Mostefai, N and Bourjault, A. 1997. Modeling ethology inspired scenarios for mobile minirobotics using object-oriented Petri-nets. 6 th International Conference on Emerging Technologies and Factory Automation Proceedings ETFA 1997. September1997."},{"key":"CIT0028","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"},{"key":"CIT0029","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1007\/978-4-431-67919-6_1","volume-title":"Distributed Autonomous Robotic System 4","author":"Parker LE","year":"2000"},{"key":"CIT0030","unstructured":"Singh, S and Thayer, S. 2001. ARMS: A Survey of Collaborative Robotics Core Technologies and Their Military Applications. Technical Report CMURI-TR-01-16. July2001. Pittsburgh, PA: Robotics Institute, Carnegie Mellon University."},{"key":"CIT0031","doi-asserted-by":"crossref","unstructured":"Yasuda, G and Tachibana, K. A computer network architecture based control architecture for autonomous distributed multirobot systems. 18th International Conference on Computers and Industrial Engineering. Vol. 31, pp.697\u2013702.","DOI":"10.1016\/S0360-8352(96)00232-X"},{"key":"CIT0032","doi-asserted-by":"publisher","DOI":"10.1109\/41.334574"}],"container-title":["International Journal of Systems Science"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.tandfonline.com\/doi\/pdf\/10.1080\/00207720500438472","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,9]],"date-time":"2025-01-09T16:03:44Z","timestamp":1736438624000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.tandfonline.com\/doi\/abs\/10.1080\/00207720500438472"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,5,15]]},"references-count":32,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2006,5,15]]}},"alternative-id":["10.1080\/00207720500438472"],"URL":"https:\/\/doi.org\/10.1080\/00207720500438472","relation":{},"ISSN":["0020-7721","1464-5319"],"issn-type":[{"type":"print","value":"0020-7721"},{"type":"electronic","value":"1464-5319"}],"subject":[],"published":{"date-parts":[[2006,5,15]]}}}