{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,1]],"date-time":"2025-10-01T15:27:51Z","timestamp":1759332471749},"reference-count":0,"publisher":"IEEE","license":[{"start":{"date-parts":[[2022,4,25]],"date-time":"2022-04-25T00:00:00Z","timestamp":1650844800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2022,4,25]],"date-time":"2022-04-25T00:00:00Z","timestamp":1650844800000},"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":[[2022,4,25]]},"DOI":"10.1109\/syscon53536.2022.9773873","type":"proceedings-article","created":{"date-parts":[[2022,5,16]],"date-time":"2022-05-16T20:45:11Z","timestamp":1652733911000},"page":"1-8","source":"Crossref","is-referenced-by-count":1,"title":["Model Checking Functional Integration of Human Cognition and Machine Reasoning"],"prefix":"10.1109","author":[{"given":"Eric","family":"Mercer","sequence":"first","affiliation":[{"name":"Brigham Young University,Provo,UT,USA"}]},{"given":"Keith","family":"Butler","sequence":"additional","affiliation":[{"name":"University of Washington,Seattle,WA,USA"}]},{"given":"Ali","family":"Bahrami","sequence":"additional","affiliation":[{"name":"Bionous LLC,Kirkland,WA,USA"}]}],"member":"263","event":{"name":"2022 IEEE International Systems Conference (SysCon)","start":{"date-parts":[[2022,4,25]]},"location":"Montreal, QC, Canada","end":{"date-parts":[[2022,4,28]]}},"container-title":["2022 IEEE International Systems Conference (SysCon)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9773363\/9773791\/09773873.pdf?arnumber=9773873","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,6,14]],"date-time":"2022-06-14T20:39:23Z","timestamp":1655239163000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9773873\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,4,25]]},"references-count":0,"URL":"https:\/\/doi.org\/10.1109\/syscon53536.2022.9773873","relation":{},"subject":[],"published":{"date-parts":[[2022,4,25]]}}}