{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:21:40Z","timestamp":1750306900404,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":20,"publisher":"ACM","license":[{"start":{"date-parts":[[2012,3,20]],"date-time":"2012-03-20T00:00:00Z","timestamp":1332201600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2012,3,20]]},"DOI":"10.1145\/2393091.2393116","type":"proceedings-article","created":{"date-parts":[[2012,11,13]],"date-time":"2012-11-13T15:04:07Z","timestamp":1352819047000},"page":"114-120","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Characterizing performance guarantees for multiagent, real-time systems operating in noisy and uncertain environments"],"prefix":"10.1145","author":[{"given":"Damian","family":"Lyons","sequence":"first","affiliation":[{"name":"Fordham University, Bronx, NY"}]},{"given":"Shu","family":"Jiang","sequence":"additional","affiliation":[{"name":"Georgia Institute of Technology, Atlanta, GA"}]},{"given":"Ronald","family":"Arkin","sequence":"additional","affiliation":[{"name":"Georgia Institute of Technology, Atlanta, GA"}]},{"given":"Prem","family":"Nirmal","sequence":"additional","affiliation":[{"name":"Fordham University, Bronx, NY"}]},{"given":"Stephen","family":"Fox","sequence":"additional","affiliation":[{"name":"Fordham University, Bronx, NY"}]},{"given":"Munzir","family":"Zafar","sequence":"additional","affiliation":[{"name":"Georgia Institute of Technology, Atlanta, GA"}]}],"member":"320","published-online":{"date-parts":[[2012,3,20]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Arkin R. C. Behavior-based Robotics MIT Press 1998.   Arkin R. C. Behavior-based Robotics MIT Press 1998."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/AMC.2002.1026963"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.5555\/582767"},{"key":"e_1_3_2_1_4_1","unstructured":"Clark E. Grumberg O. Peled D. Model Checking. MIT Press 1999.   Clark E. Grumberg O. Peled D. Model Checking . MIT Press 1999."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10514-009-9150-y"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCC.2004.826285"},{"key":"e_1_3_2_1_7_1","series-title":"FACIT series","volume-title":"High-Integrity System Specification and Design","author":"Hinchey M. G.","year":"1999","unstructured":"Hinchey M. G. , and J. P. Bowen , High-Integrity System Specification and Design , FACIT series , Springer-Verlag , London , 1999 . Hinchey M. G., and J. P. Bowen, High-Integrity System Specification and Design, FACIT series, Springer-Verlag, London, 1999."},{"volume-title":"NIST 2011","author":"Jacoff A.","key":"e_1_3_2_1_8_1","unstructured":"Jacoff , A. , Messina , E. , Standard Test Methods For Response Robots, ASTM E54.08. 01 Intelligent Systems Division , NIST 2011 Jacoff, A., Messina, E., Standard Test Methods For Response Robots, ASTM E54.08.01 Intelligent Systems Division, NIST 2011"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1592434.1592438"},{"key":"e_1_3_2_1_10_1","volume-title":"Ph. D. dissertation, Dept of Computer and Information Science","author":"Kosecka J.","year":"1996","unstructured":"Kosecka , J. ( 1996 ). A Framework for Modeling and Verifying Visually Guided Agents, Analysis and Experiments , Ph. D. dissertation, Dept of Computer and Information Science , University of Pennsylvania . Kosecka, J. (1996). A Framework for Modeling and Verifying Visually Guided Agents, Analysis and Experiments, Ph. D. dissertation, Dept of Computer and Information Science, University of Pennsylvania."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2010.5509402"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2004.1308923"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/70.240194"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1177\/027836499801700405"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008807102993"},{"key":"e_1_3_2_1_16_1","first-page":"4419","volume":"978","author":"Madhavan","year":"2009","unstructured":"Madhavan , Raj; Tunstel, Edward ; Messina, Elena (Eds.), Performance Evaluation and Benchmarking of Intelligent Systems , ISBN 978-1 - 4419 - 0491 -1, 2009 . Madhavan, Raj; Tunstel, Edward; Messina, Elena (Eds.), Performance Evaluation and Benchmarking of Intelligent Systems, ISBN 978-1-4419-0491-1, 2009.","journal-title":"ISBN"},{"key":"e_1_3_2_1_17_1","unstructured":"MissionLab v7.0 User Manual available at http:\/\/www.cc.gatech.edu\/aimosaic\/robot-lab\/research\/MissionLab\/mlab_manual-7.0.pdf  MissionLab v7.0 User Manual available at http:\/\/www.cc.gatech.edu\/aimosaic\/robot-lab\/research\/MissionLab\/mlab_manual-7.0.pdf"},{"key":"e_1_3_2_1_18_1","volume-title":"Evaluation of Navigation of an Autonomous Mobile Robot","author":"Mu\u00f1oz N. D.","year":"2007","unstructured":"Mu\u00f1oz , N. D. , and J. A. Valencia , N. Londo\u00f1o , Evaluation of Navigation of an Autonomous Mobile Robot , 2007 . Mu\u00f1oz, N. D., and J. A. Valencia, N. Londo\u00f1o, Evaluation of Navigation of an Autonomous Mobile Robot, 2007."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1137\/0325013"},{"key":"e_1_3_2_1_20_1","volume-title":"Probabilistic Robotics","author":"Thrun S.","year":"2005","unstructured":"Thrun , S. , Burgard , W. , and Fox , D. , Probabilistic Robotics , MIT Press 2005 . Thrun, S., Burgard, W., and Fox, D., Probabilistic Robotics, MIT Press 2005."}],"event":{"name":"PerMIS'12: Performance Metrics for Intelligent Systems","sponsor":["University of Maryland University of Maryland","NIST National Institute of Standards & Technology","SIGAI ACM Special Interest Group on Artificial Intelligence"],"location":"College Park Maryland","acronym":"PerMIS'12"},"container-title":["Proceedings of the Workshop on Performance Metrics for Intelligent Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2393091.2393116","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2393091.2393116","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T08:19:10Z","timestamp":1750234750000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2393091.2393116"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,3,20]]},"references-count":20,"alternative-id":["10.1145\/2393091.2393116","10.1145\/2393091"],"URL":"https:\/\/doi.org\/10.1145\/2393091.2393116","relation":{},"subject":[],"published":{"date-parts":[[2012,3,20]]},"assertion":[{"value":"2012-03-20","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}