{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T17:23:06Z","timestamp":1729617786506,"version":"3.28.0"},"reference-count":34,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,12]]},"DOI":"10.1109\/cdc.2016.7799031","type":"proceedings-article","created":{"date-parts":[[2017,1,5]],"date-time":"2017-01-05T12:11:18Z","timestamp":1483618278000},"page":"4985-4991","source":"Crossref","is-referenced-by-count":8,"title":["A stochastically verifiable autonomous control architecture with reasoning"],"prefix":"10.1109","author":[{"given":"Paolo","family":"Izzo","sequence":"first","affiliation":[]},{"given":"Hongyang","family":"Qu","sequence":"additional","affiliation":[]},{"given":"Sandor M.","family":"Veres","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"year":"0","article-title":"Prism - probabilistic symbolic model checker","key":"ref33"},{"doi-asserted-by":"publisher","key":"ref32","DOI":"10.1007\/BF01211866"},{"doi-asserted-by":"publisher","key":"ref31","DOI":"10.1007\/978-3-540-72522-0_6"},{"doi-asserted-by":"publisher","key":"ref30","DOI":"10.1007\/978-3-642-21455-4_3"},{"doi-asserted-by":"publisher","key":"ref34","DOI":"10.1023\/A:1008647823331"},{"key":"ref10","doi-asserted-by":"crossref","first-page":"42","DOI":"10.1007\/BFb0031845","article-title":"Agentspeak (1): Bdi agents speak out in a logical computable language","author":"rao","year":"1996","journal-title":"Agents Breaking Away"},{"doi-asserted-by":"publisher","key":"ref11","DOI":"10.1016\/0004-3702(93)90034-9"},{"year":"1999","author":"clarke","journal-title":"Model checking","key":"ref12"},{"doi-asserted-by":"publisher","key":"ref13","DOI":"10.1145\/860575.860641"},{"doi-asserted-by":"publisher","key":"ref14","DOI":"10.1007\/s10458-006-5955-7"},{"year":"1991","author":"holzmann","journal-title":"Design and Validation of Computer Protocols","key":"ref15"},{"doi-asserted-by":"publisher","key":"ref16","DOI":"10.1109\/32.588521"},{"doi-asserted-by":"publisher","key":"ref17","DOI":"10.1023\/A:1022920129859"},{"key":"ref18","first-page":"16","article-title":"Gwendolen: A bdi language for verifiable agents","author":"dennis","year":"2008","journal-title":"Proceedings of the AISB 2008 Symposium on Logic and the Simulation of Interactionand Reasoning Society for the Study of Artificial Intelligence and Simulation of Behaviour"},{"key":"ref19","first-page":"1303","article-title":"A flexible framework for verifying agent programs","author":"dennis","year":"2008","journal-title":"Proceedings of the 7th International Joint Conference on Autonomous Agents and Multiagent Systems-Volume 3 International Foundation for Autonomous Agents and Multiagent Systems"},{"year":"2008","author":"veres","journal-title":"Natural language programming of agents and robotic devices","key":"ref28"},{"doi-asserted-by":"publisher","key":"ref4","DOI":"10.1177\/2041304110394727"},{"doi-asserted-by":"publisher","key":"ref27","DOI":"10.1007\/s10846-012-9779-1"},{"year":"2002","author":"meystel","journal-title":"Intelligent Systems Architecture Design and Control","key":"ref3"},{"doi-asserted-by":"publisher","key":"ref6","DOI":"10.1017\/S0269888900008122"},{"key":"ref29","article-title":"Advances in probabilistic model checking","author":"kwiatkowska","year":"2010","journal-title":"Verification Model Checking and Abstract Interpretation (VMCAI)"},{"year":"2002","author":"wooldridge","journal-title":"An Introduction to Multi Agent Systems","key":"ref5"},{"key":"ref8","doi-asserted-by":"crossref","first-page":"1383","DOI":"10.1109\/PROC.1986.13639","article-title":"procedural knowledge","volume":"74","author":"georgeff","year":"1986","journal-title":"Proceedings of the IEEE"},{"year":"2007","author":"bordini","journal-title":"Programming Multi-Agent Systems in Agent Speak Using Jason","key":"ref7"},{"key":"ref2","doi-asserted-by":"crossref","DOI":"10.2307\/j.ctvcm4gdk","author":"astr\u00f6m","year":"2010","journal-title":"Feedback Systems An Introduction for Scientists and Engineers"},{"key":"ref9","first-page":"677","article-title":"Reactive reasoning and planning","volume":"87","author":"georgeff","year":"1987","journal-title":"AAAI"},{"doi-asserted-by":"publisher","key":"ref1","DOI":"10.1007\/3-540-56320-2_64"},{"key":"ref20","first-page":"40","article-title":"Programming verifiable heterogeneous agent systems","author":"dennis","year":"2008","journal-title":"Programming Multi-Agent Systems"},{"key":"ref22","first-page":"869","article-title":"A synergistic and extensible framework for multi-agent system verification","author":"hunter","year":"2013","journal-title":"Proceedings of the 2013 International Conference on Autonomous Agents and Multi-agent Systems International Foundation for Autonomous Agents and Multiagent Systems"},{"doi-asserted-by":"publisher","key":"ref21","DOI":"10.1007\/s10515-011-0088-x"},{"key":"ref24","doi-asserted-by":"crossref","first-page":"585","DOI":"10.1007\/978-3-642-22110-1_47","article-title":"Prism 4.0: Verification of probabilistic real-time systems","author":"kwiatkowska","year":"2011","journal-title":"Computer Aided Verification"},{"doi-asserted-by":"publisher","key":"ref23","DOI":"10.1093\/logcom\/exv002"},{"year":"2007","author":"bordini","journal-title":"Jason A Java-based interpreter for an extended version of Agent Speak","key":"ref26"},{"key":"ref25","first-page":"195","article-title":"On three-layer architectures","author":"gat","year":"1998","journal-title":"Artificial Intelligence and Mobile Robots Case Studies of Successful Robot Systems"}],"event":{"name":"2016 IEEE 55th Conference on Decision and Control (CDC)","start":{"date-parts":[[2016,12,12]]},"location":"Las Vegas, NV, USA","end":{"date-parts":[[2016,12,14]]}},"container-title":["2016 IEEE 55th Conference on Decision and Control (CDC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7786694\/7798233\/07799031.pdf?arnumber=7799031","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,17]],"date-time":"2019-09-17T01:40:59Z","timestamp":1568684459000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7799031\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,12]]},"references-count":34,"URL":"https:\/\/doi.org\/10.1109\/cdc.2016.7799031","relation":{},"subject":[],"published":{"date-parts":[[2016,12]]}}}