{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T09:13:21Z","timestamp":1725614001327},"publisher-location":"New York, NY, USA","reference-count":23,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,6,2]],"date-time":"2019-06-02T00:00:00Z","timestamp":1559433600000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2019,6,2]]},"DOI":"10.1145\/3316781.3317748","type":"proceedings-article","created":{"date-parts":[[2019,5,23]],"date-time":"2019-05-23T18:07:13Z","timestamp":1558634833000},"page":"1-6","update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["A Memory-Efficient Markov Decision Process Computation Framework Using BDD-based Sampling Representation"],"prefix":"10.1145","author":[{"given":"He","family":"Zhou","sequence":"first","affiliation":[{"name":"Department of Electrical & Computer Engineering Texas A&M University"}]},{"given":"Sunil P.","family":"Khatri","sequence":"additional","affiliation":[{"name":"Department of Electrical & Computer Engineering Texas A&M University"}]},{"given":"Jiang","family":"Hu","sequence":"additional","affiliation":[{"name":"Department of Electrical & Computer Engineering Texas A&M University"}]},{"given":"Frank","family":"Liu","sequence":"additional","affiliation":[{"name":"IBM Research, Austin"}]}],"member":"320","published-online":{"date-parts":[[2019,6,2]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1978.1675141"},{"key":"e_1_3_2_1_2_1","unstructured":"Zhaojun Bai James Demmel Jack Dongarra Axel Ruhe and Henk Van Der Vorst. 2000. Templates for the solution of algebraic eigenvalue problems: a practical guide. SIAM. Zhaojun Bai James Demmel Jack Dongarra Axel Ruhe and Henk Van Der Vorst. 2000. Templates for the solution of algebraic eigenvalue problems: a practical guide. SIAM."},{"volume-title":"Dynamic Programming","author":"Bellman Richard","key":"e_1_3_2_1_4_1"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/TITB.2006.864480"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1986.1676819"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/136035.136043"},{"volume-title":"Bayesian Q-learning. In Proceedings of the 15th National Conference on Artificial Intelligence. 761--768","year":"1998","author":"Dearden Richard","key":"e_1_3_2_1_8_1"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10514-017-9619-z"},{"volume-title":"Proceedings of the 15th Conference on Uncertainty in Artificial Intelligence. 279--288","year":"1999","author":"Hoey Jesse","key":"e_1_3_2_1_10_1"},{"volume-title":"Risk-sensitive Markov Decision Processes. Management science 18, 7","year":"1972","author":"Howard Ronald A","key":"e_1_3_2_1_11_1"},{"volume-title":"Decision making under uncertainty: theory and application","author":"Kochenderfer Mykel J","key":"e_1_3_2_1_12_1","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/10187.001.0001"},{"volume-title":"Bayesian decision problems and Markov chains","author":"Martin James John","key":"e_1_3_2_1_13_1"},{"volume-title":"Validation of Stochastic Systems","author":"Miner Andrew","key":"e_1_3_2_1_14_1"},{"volume-title":"Markov Decision Processes: discrete stochastic dynamic programming","author":"Puterman Martin L","key":"e_1_3_2_1_15_1"},{"volume-title":"Applied probability models with optimization applications","author":"Ross Sheldon M","key":"e_1_3_2_1_16_1"},{"volume-title":"Proceedings of Advances in Neural Information Processing Systems. 1043--1049","year":"2000","author":"Roy Nicholas","key":"e_1_3_2_1_17_1"},{"key":"e_1_3_2_1_18_1","first-page":"1063","article-title":"Reinforcement learning with factored states and actions","author":"Sallans Brian","year":"2004","journal-title":"Journal of Machine Learning Research 5"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.vlsi.2017.07.007"},{"volume-title":"CUDD: CU decision diagram package release 3.0. 0","year":"2015","author":"Somenzi Fabio","key":"e_1_3_2_1_20_1"},{"volume-title":"Proceedings of Advances in Neural Information Processing Systems. 1089--1095","year":"2001","author":"St-Aubin Robert","key":"e_1_3_2_1_21_1"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1186\/1687-4153-2014-6"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/BHI.2016.7455895"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/3107411.3107440"}],"event":{"name":"DAC '19: The 56th Annual Design Automation Conference 2019","sponsor":["SIGDA ACM Special Interest Group on Design Automation","IEEE-CEDA","SIGBED ACM Special Interest Group on Embedded Systems"],"location":"Las Vegas NV USA","acronym":"DAC '19"},"container-title":["Proceedings of the 56th Annual Design Automation Conference 2019"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3316781.3317748","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,6]],"date-time":"2023-01-06T03:28:09Z","timestamp":1672975689000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3316781.3317748"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,6,2]]},"references-count":23,"alternative-id":["10.1145\/3316781.3317748","10.1145\/3316781"],"URL":"https:\/\/doi.org\/10.1145\/3316781.3317748","relation":{},"subject":[],"published":{"date-parts":[[2019,6,2]]},"assertion":[{"value":"2019-06-02","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}