{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,24]],"date-time":"2025-08-24T01:45:46Z","timestamp":1755999946261,"version":"3.28.0"},"reference-count":31,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,12]]},"DOI":"10.1109\/cdc.2013.6760628","type":"proceedings-article","created":{"date-parts":[[2014,3,13]],"date-time":"2014-03-13T18:14:07Z","timestamp":1394734447000},"page":"4719-4724","source":"Crossref","is-referenced-by-count":11,"title":["Distribution temporal logic: Combining correctness with quality of estimation"],"prefix":"10.1109","author":[{"given":"Austin","family":"Jones","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mac","family":"Schwager","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Calin","family":"Belta","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1287\/mnsc.28.1.1"},{"key":"17","first-page":"624","article-title":"Efficient model checking of safety properties","author":"latvala","year":"2003","journal-title":"Model Checking Software"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(02)00378-8"},{"key":"15","article-title":"SARSOP: Efficient point-based POMDP planning by approximating optimally reachable belief spaces","author":"kurniawati","year":"2008","journal-title":"Proc Robotics Science and Systems"},{"key":"16","doi-asserted-by":"crossref","first-page":"396","DOI":"10.1109\/TRO.2011.2172150","article-title":"Temporal logic motion planning and control with probabilistic satisfaction guarantees","volume":"28","author":"lahijanian","year":"2011","journal-title":"IEEE Transaction on Robotics"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(98)00023-X"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1023\/A:1011254632723"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-28891-3_31"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1177\/0278364912452675"},{"key":"21","article-title":"Statistical signal processing: Detection, estimation, and time series analysis","author":"scharf","year":"1991","journal-title":"Addison-Wesley Series in Electrical and Computer Engineering"},{"key":"20","article-title":"Point-based value iteration: An anytime algorithm for POMDPs","author":"pineau","year":"2003","journal-title":"Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence (IJCAI)"},{"key":"22","first-page":"266","article-title":"On statistical model checking of stochastic systems","author":"sen","year":"2005","journal-title":"CAV"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1007\/s10458-012-9200-2"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1002\/j.1538-7305.1948.tb01338.x"},{"key":"25","article-title":"Point-based POMDP algorithms: Improved analysis and implementation","author":"smith","year":"2005","journal-title":"Proc Int Conf on Uncertainty in Artificial Intelligence (UAI)"},{"key":"26","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2012.6426346"},{"key":"27","doi-asserted-by":"publisher","DOI":"10.1007\/11678823_5"},{"key":"28","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2012.6426174"},{"key":"29","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2012.6426524"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/IRDS.2002.1041446"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2004.1459815"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2009.2034206"},{"journal-title":"Technical Report Distribution Temporal Logic Combining Correctness with Quality of Estimation","year":"2013","author":"jones","key":"1"},{"journal-title":"Logic and Model Checking for Hidden Markov Models","year":"2004","author":"zhang","key":"30"},{"key":"7","first-page":"21","article-title":"Conformant planning via model checking","author":"cimatti","year":"1999","journal-title":"ECP"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2010.05.004"},{"key":"5","first-page":"1653","article-title":"Equivalence relations in fully and partially observable markov decision processes","author":"castro","year":"2009","journal-title":"Proceedings of the 21st International Jont Conference on Artifical Intelligence IJCAI'09"},{"key":"31","doi-asserted-by":"publisher","DOI":"10.1007\/11562436_9"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1007\/s10463-009-0236-2"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2011.6161122"},{"journal-title":"Elements of Information Theory","year":"2006","author":"cover","key":"8"}],"event":{"name":"2013 IEEE 52nd Annual Conference on Decision and Control (CDC)","start":{"date-parts":[[2013,12,10]]},"location":"Firenze","end":{"date-parts":[[2013,12,13]]}},"container-title":["52nd IEEE Conference on Decision and Control"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6749719\/6759837\/06760628.pdf?arnumber=6760628","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,22]],"date-time":"2017-06-22T05:35:21Z","timestamp":1498109721000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6760628\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,12]]},"references-count":31,"URL":"https:\/\/doi.org\/10.1109\/cdc.2013.6760628","relation":{},"subject":[],"published":{"date-parts":[[2013,12]]}}}