{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,12]],"date-time":"2026-02-12T07:11:39Z","timestamp":1770880299826,"version":"3.50.1"},"reference-count":21,"publisher":"IEEE","license":[{"start":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T00:00:00Z","timestamp":1761523200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T00:00:00Z","timestamp":1761523200000},"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":[[2025,10,27]]},"DOI":"10.1109\/icves65691.2025.11376577","type":"proceedings-article","created":{"date-parts":[[2026,2,11]],"date-time":"2026-02-11T20:54:58Z","timestamp":1770843298000},"page":"418-423","source":"Crossref","is-referenced-by-count":0,"title":["Probabilistic Safety Verification for an Autonomous Ground Vehicle: A Situation Coverage Grid Approach"],"prefix":"10.1109","author":[{"given":"Nawshin Mannan","family":"Proma","sequence":"first","affiliation":[{"name":"University of York,Department of Computer Science,York,United Kingdom"}]},{"given":"Gricel","family":"V\u00e1zquez","sequence":"additional","affiliation":[{"name":"University of York,Department of Computer Science,York,United Kingdom"}]},{"given":"Sepeedeh","family":"Shahbeigi","sequence":"additional","affiliation":[{"name":"University of York,Department of Computer Science,York,United Kingdom"}]},{"given":"Arjun","family":"Badyal","sequence":"additional","affiliation":[{"name":"University of York,Department of Computer Science,York,United Kingdom"}]},{"given":"Victoria","family":"Hodge","sequence":"additional","affiliation":[{"name":"University of York,Department of Computer Science,York,United Kingdom"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/s41315-024-00418-y"},{"key":"ref2","article-title":"Situation coverage\u2013a coverage criterion for testing autonomous robots","volume-title":"tech. rep.","author":"Alexander","year":"2015"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1201\/9781351251389-8"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/3132747.3132785"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/3180155.3180160"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/3615366.3625077"},{"key":"ref7","article-title":"Situation coverage based safety analysis of an autonomous aerial drone in a mine environment","volume-title":"The Yorkshire Innovation in Science and Engineering Conference (YISEC) 2024","author":"Proma"},{"key":"ref8","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-032-02018-5_21","article-title":"SCALOFT: An Initial Approach for Situation Coverage-Based Safety Analysis of an Autonomous Aerial Drone in a Mine Environment","volume-title":"Accepted for, 44th International Conference on Computer Safety, Reliability and Security (safecomp 2025)","author":"Proma"},{"key":"ref9","doi-asserted-by":"crossref","DOI":"10.1109\/REW66121.2025.00075","article-title":"Robustness requirement coverage using a situation coverage approach for vision-based ai systems","author":"Shahbeigi","year":"2025"},{"key":"ref10","author":"Hawkins","year":"2022","journal-title":"Guidance on the safety assurance of autonomous systems in complex environments (sace)"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2024.3443751"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24611-4_5"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1146\/annurev-control-042820-010947"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-22110-1_47"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/IAVVC63304.2024.10786405"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.3403\/30405440u"},{"key":"ref17","article-title":"Probabilistic Safety Verification: A situation coverage grid approach","year":"2025"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-021-00633-z"},{"key":"ref19","article-title":"IEC 61508:2010 \u2013 Functional safety of electrical\/electronic\/programmable electronic safety-related systems","year":"2010"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/SEAMS66627.2025.00016"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.371.11"}],"event":{"name":"2025 IEEE International Conference on Vehicular Electronics and Safety (ICVES)","location":"Coventry, United Kingdom","start":{"date-parts":[[2025,10,27]]},"end":{"date-parts":[[2025,10,28]]}},"container-title":["2025 IEEE International Conference on Vehicular Electronics and Safety (ICVES)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/11373934\/11375868\/11376577.pdf?arnumber=11376577","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,2,12]],"date-time":"2026-02-12T06:30:53Z","timestamp":1770877853000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11376577\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,10,27]]},"references-count":21,"URL":"https:\/\/doi.org\/10.1109\/icves65691.2025.11376577","relation":{},"subject":[],"published":{"date-parts":[[2025,10,27]]}}}