{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,22]],"date-time":"2025-03-22T12:20:32Z","timestamp":1742646032994,"version":"3.28.0"},"reference-count":32,"publisher":"IEEE","license":[{"start":{"date-parts":[[2023,8,16]],"date-time":"2023-08-16T00:00:00Z","timestamp":1692144000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,8,16]],"date-time":"2023-08-16T00:00:00Z","timestamp":1692144000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023,8,16]]},"DOI":"10.1109\/ccta54093.2023.10252584","type":"proceedings-article","created":{"date-parts":[[2023,9,22]],"date-time":"2023-09-22T13:44:02Z","timestamp":1695390242000},"page":"1115-1121","source":"Crossref","is-referenced-by-count":1,"title":["Quantifying Faulty Assumptions in Heterogeneous Multi-Agent Systems <sup>*<\/sup>"],"prefix":"10.1109","author":[{"given":"Steven","family":"Carr","sequence":"first","affiliation":[{"name":"The University of Texas,Austin"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tichakorn","family":"Wongpiromsarn","sequence":"additional","affiliation":[{"name":"Iowa State University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ufuk","family":"Topcu","sequence":"additional","affiliation":[{"name":"The University of Texas,Austin"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.24963\/ijcai.2020\/570"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/ITSC.2014.6957722"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1287\/moor.27.4.819.297"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1002\/9781118557426.ch9"},{"key":"ref31","article-title":"The probabilistic model checker storm","author":"hensel","year":"2020","journal-title":"CoRR"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1287\/moor.1120.0566"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/IVS.2017.7995949"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/IVS.2015.7225835"},{"key":"ref32","article-title":"CARLA: an open urban driving simulator","author":"dosovitskiy","year":"2017","journal-title":"CoRL"},{"key":"ref2","first-page":"1","article-title":"Public perceptions of self-driving cars: The case of berkeley, california","volume":"14","author":"howard","year":"2014","journal-title":"Transportation Research Board 93rd Annual Meeting"},{"journal-title":"Autonomous vehicle technology a guide for policymakers","year":"2014","author":"anderson","key":"ref1"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-45190-5_16"},{"key":"ref16","article-title":"On the complexity of reachability in parametric markov decision processes","volume":"140","author":"winkler","year":"2019","journal-title":"CONCUR"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2013.6631293"},{"key":"ref18","article-title":"Parameter synthesis for markov models","author":"junges","year":"2019","journal-title":"CoRR"},{"key":"ref24","article-title":"Policy synthesis for factored MDPs with graph temporal logic specifications","author":"cubuktepe","year":"2020","journal-title":"AAMAS"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/ICCV.2015.364"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1977.32"},{"journal-title":"Principles of Model Checking","year":"2008","author":"baier","key":"ref25"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-40196-1_28"},{"key":"ref22","article-title":"Intention-aware pedestrian avoidance","author":"bandyopadhyay","year":"2012","journal-title":"ISER"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2018.02.021"},{"key":"ref28","article-title":"A storm is coming: A modern probabilistic model checker","author":"dehnert","year":"2017","journal-title":"CAV"},{"key":"ref27","article-title":"PRISM 4.0: Verification of probabilistic real-time systems","author":"kwiatkowska","year":"2011","journal-title":"CAV"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-54580-5_8"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2019.8794364"},{"journal-title":"Technical Reference for Autonomous Vehicles Part 1 Basic behaviour","year":"2019","key":"ref7"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/CDC40024.2019.9030068"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/ITSC.2016.7795595"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/j.tra.2015.12.001"},{"year":"2018","key":"ref6","article-title":"Why people keep rear-ending self-driving cars"},{"year":"0","key":"ref5","article-title":"Report of traffic collision involving an autonomous vehicle (OL 316)"}],"event":{"name":"2023 IEEE Conference on Control Technology and Applications (CCTA)","start":{"date-parts":[[2023,8,16]]},"location":"Bridgetown, Barbados","end":{"date-parts":[[2023,8,18]]}},"container-title":["2023 IEEE Conference on Control Technology and Applications (CCTA)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/10252164\/10252092\/10252584.pdf?arnumber=10252584","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,10,9]],"date-time":"2023-10-09T14:10:31Z","timestamp":1696860631000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10252584\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,8,16]]},"references-count":32,"URL":"https:\/\/doi.org\/10.1109\/ccta54093.2023.10252584","relation":{},"subject":[],"published":{"date-parts":[[2023,8,16]]}}}