{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T05:23:40Z","timestamp":1725427420682},"reference-count":12,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/sew.2003.1270726","type":"proceedings-article","created":{"date-parts":[[2004,7,8]],"date-time":"2004-07-08T20:05:44Z","timestamp":1089317144000},"page":"58-65","source":"Crossref","is-referenced-by-count":1,"title":["On the run-time verification of autonomy software"],"prefix":"10.1109","author":[{"given":"A.","family":"Tiwari","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"P.","family":"Sinha","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Um.","family":"Ramachandran","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"year":"1991","author":"holzmann","journal-title":"Design and Validation of Computer Protocols","key":"ref4"},{"doi-asserted-by":"publisher","key":"ref3","DOI":"10.1109\/SEW.2001.992667"},{"key":"ref10","article-title":"Formulating Multiagent, Dynamic- World Problems in the Classical Plan ning Framework","author":"pednault","year":"1990","journal-title":"Chapter 10 Readings in Planning"},{"key":"ref6","doi-asserted-by":"crossref","DOI":"10.1007\/s100090050010","article-title":"Uppaalina Nutshell","author":"larsen","year":"1997","journal-title":"Springer International Journal of Software Tools for Technology Transfer"},{"year":"1995","author":"russell","journal-title":"Artificial Intelligence - A Modern Approach","key":"ref11"},{"key":"ref5","article-title":"Verification of Plan Models using Uppaal","author":"khatib","year":"2000","journal-title":"First Goddard Workshop on Formal Approaches to Agent-Based Systems"},{"key":"ref12","article-title":"Towards Automatic Verification of Autonomous Systems","author":"simmons","year":"2000","journal-title":"Proc IEEE Int Conf Intelligent Robots and Systems"},{"key":"ref8","article-title":"V&'V of Advanced Systems at NASA","author":"nelson","year":"2002","journal-title":"NASA\/10 TA-5 3 3"},{"year":"2001","author":"larson","journal-title":"Spacecraft Mission Analysis and Design","key":"ref7"},{"doi-asserted-by":"publisher","key":"ref2","DOI":"10.1109\/32.940728"},{"key":"ref9","article-title":"Verification and Validation of Autonomy Software at NASA","author":"pecheur","year":"2000","journal-title":"NASA\/TM 2000–209602"},{"doi-asserted-by":"publisher","key":"ref1","DOI":"10.1109\/AERO.1997.574426"}],"event":{"name":"28th Annual NASA Goddard Software Engineering Workshop, 2003.","location":"Greenbelt, Maryland, USA"},"container-title":["28th Annual NASA Goddard Software Engineering Workshop, 2003. Proceedings."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8966\/28448\/01270726.pdf?arnumber=1270726","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,16]],"date-time":"2017-06-16T08:40:13Z","timestamp":1497602413000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1270726\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":12,"URL":"https:\/\/doi.org\/10.1109\/sew.2003.1270726","relation":{},"subject":[]}}