{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,4]],"date-time":"2025-05-04T04:07:42Z","timestamp":1746331662623,"version":"3.40.4"},"reference-count":30,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,6]]},"DOI":"10.1109\/ecc.2014.6862528","type":"proceedings-article","created":{"date-parts":[[2014,7,30]],"date-time":"2014-07-30T16:08:34Z","timestamp":1406736514000},"page":"336-343","source":"Crossref","is-referenced-by-count":2,"title":["On efficient consistency checks by robots"],"prefix":"10.1109","author":[{"given":"Hongyang","family":"Qu","sequence":"first","affiliation":[]},{"given":"Sandor M.","family":"Veres","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1016\/0933-3657(92)90022-H"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30133-2_5"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1016\/j.dsp.2013.11.006"},{"journal-title":"Model Checker for Multi- Agent Systems - MCMAS","year":"2013","author":"lomuscio","key":"15"},{"key":"16","first-page":"52","article-title":"Automatic data-abstraction in model checking multi-agent systems","author":"lomuscio","year":"2010","journal-title":"Proc of MoChArt'10"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1007\/s10846-012-9779-1"},{"key":"14","first-page":"682","article-title":"MCMAS: A model checker for the verification of multi-agent systems","author":"lomuscio","year":"2009","journal-title":"Proc CAV'09"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2007.914952"},{"key":"12","first-page":"543","article-title":"Parallel model checking for temporal epistemic logic","author":"kwiatkowska","year":"2010","journal-title":"Proc 10th ECAI"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1977.32"},{"journal-title":"Jade","year":"0","author":"nikraza","key":"20"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44631-1_8"},{"key":"23","first-page":"1755","article-title":"Intelligent controller for mobile robot: Fuzzy logic approach","author":"singh","year":"2008","journal-title":"Proceedings of International Association for Computer Methods and Advances in Geomechanics (IACMAG'08)"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2006.886494"},{"key":"25","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-00909-9_31"},{"key":"26","doi-asserted-by":"publisher","DOI":"10.4114\/ia.v10i31.933"},{"key":"27","doi-asserted-by":"publisher","DOI":"10.1177\/0959651811408502"},{"key":"28","first-page":"155","article-title":"Autonomous vehicle control systems a review of decision making","volume":"225","author":"veres","year":"2011","journal-title":"Journal of Systems and Control Engineering"},{"key":"29","first-page":"529","volume":"42","author":"vranas","year":"2008","journal-title":"New Foundations for Imperative Logic I Logical Connectives Consistency and Quantifiers"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1986.1676819"},{"journal-title":"Jason","year":"2013","author":"bordini","key":"2"},{"key":"10","first-page":"3","article-title":"A history of satisfiability","author":"franco","year":"2009","journal-title":"Handbook of Satisfiability"},{"key":"1","article-title":"Toward ethical robots via mechanized deontic","author":"arkoudas","year":"2005","journal-title":"Technical Report Logic AAAI Fall Symposium on Machine Ethics"},{"journal-title":"Laws of Robotics","year":"0","key":"30"},{"key":"7","first-page":"721","article-title":"A symmetry reduction technique for model checking temporal-epistemic logic","author":"cohen","year":"2009","journal-title":"Proc IJCAI'09"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-04761-9_6"},{"journal-title":"Model checking","year":"1999","author":"clarke","key":"5"},{"key":"4","first-page":"359","article-title":"Nusmv 2: An opensource tool for symbolic model checking","author":"cimatti","year":"2002","journal-title":"Proceedings of CAV 2002 Volume 2404 of Lecture Notes in Computer Science"},{"key":"9","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5803.001.0001","author":"fagin","year":"1995","journal-title":"Reasoning About Knowledge"},{"journal-title":"2APL","year":"0","author":"dastani","key":"8"}],"event":{"name":"2014 European Control Conference (ECC)","start":{"date-parts":[[2014,6,24]]},"location":"Strasbourg, France","end":{"date-parts":[[2014,6,27]]}},"container-title":["2014 European Control Conference (ECC)"],"original-title":[],"link":[{"URL":"https:\/\/linproxy.fan.workers.dev:443\/http\/xplorestaging.ieee.org\/ielx7\/6851788\/6862131\/06862528.pdf?arnumber=6862528","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,4]],"date-time":"2025-05-04T00:48:08Z","timestamp":1746319688000},"score":1,"resource":{"primary":{"URL":"https:\/\/linproxy.fan.workers.dev:443\/http\/ieeexplore.ieee.org\/document\/6862528\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,6]]},"references-count":30,"URL":"https:\/\/linproxy.fan.workers.dev:443\/https\/doi.org\/10.1109\/ecc.2014.6862528","relation":{},"subject":[],"published":{"date-parts":[[2014,6]]}}}