{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,17]],"date-time":"2026-07-17T22:41:28Z","timestamp":1784328088730,"version":"3.55.0"},"reference-count":17,"publisher":"Society for Industrial & Applied Mathematics (SIAM)","issue":"2","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["SIAM J. Appl. Dyn. Syst."],"published-print":{"date-parts":[[2013,1]]},"DOI":"10.1137\/120871456","type":"journal-article","created":{"date-parts":[[2013,6,19]],"date-time":"2013-06-19T14:10:48Z","timestamp":1371651048000},"page":"921-956","source":"Crossref","is-referenced-by-count":105,"title":["Adaptive and Sequential Gridding Procedures for the Abstraction and Verification of Stochastic Processes"],"prefix":"10.1137","volume":"12","author":[{"given":"Sadegh","family":"Esmaeil Zadeh Soudjani","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Alessandro","family":"Abate","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"351","reference":[{"key":"atypb1","volume":"6","author":"Abate A.","journal-title":"Eur. J. Control"},{"key":"atypb2","first-page":"83","author":"Abate A.","year":"2011","journal-title":"Chicago"},{"key":"atypb3","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2008.03.027"},{"key":"atypb6","volume":"20","author":"Bertsekas D. P.","year":"1975","journal-title":"IEEE Trans. Automat. Control"},{"key":"atypb9","doi-asserted-by":"publisher","DOI":"10.1006\/jtbi.2003.3164"},{"key":"atypb12","first-page":"59","author":"Soudjani S. Esmaeil Zadeh","year":"2011","journal-title":"Germany"},{"key":"atypb14","doi-asserted-by":"publisher","DOI":"10.1016\/0021-9991(76)90041-3"},{"key":"atypb15","volume":"81","author":"Gillespie D. T.","journal-title":"J. Phys. Chem."},{"key":"atypb16","doi-asserted-by":"publisher","DOI":"10.1063\/1.481811"},{"key":"atypb18","first-page":"243","author":"Katoen J.-P.","year":"2005","journal-title":"Italy"},{"key":"atypb23","doi-asserted-by":"publisher","DOI":"10.1023\/A:1017992615625"},{"key":"atypb24","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2007.902736"},{"key":"atypb25","first-page":"107","author":"Prandini M.","year":"2007","journal-title":"Boca Raton, FL"},{"key":"atypb26","first-page":"253","author":"Ramponi F.","year":"2010","journal-title":"New York"},{"key":"atypb27","doi-asserted-by":"publisher","DOI":"10.1063\/1.1627296"},{"key":"atypb28","doi-asserted-by":"crossref","first-page":"529","DOI":"10.1080\/10618600.1998.10474793","volume":"7","author":"Somerville P.","year":"1998","journal-title":"J. Comput. Graph. Statist."},{"key":"atypb29","doi-asserted-by":"publisher","DOI":"10.1007\/BF02684475"}],"container-title":["SIAM Journal on Applied Dynamical Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/epubs.siam.org\/doi\/pdf\/10.1137\/120871456","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,5,12]],"date-time":"2024-05-12T16:20:48Z","timestamp":1715530848000},"score":1,"resource":{"primary":{"URL":"http:\/\/epubs.siam.org\/doi\/10.1137\/120871456"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,1]]},"references-count":17,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2013,1]]}},"alternative-id":["10.1137\/120871456"],"URL":"https:\/\/doi.org\/10.1137\/120871456","relation":{},"ISSN":["1536-0040"],"issn-type":[{"value":"1536-0040","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,1]]}}}