@inproceedings{DBLP:conf/ecai/0002HBL23,
  author       = {Daxin Liu and
                  Qinfei Huang and
                  Vaishak Belle and
                  Gerhard Lakemeyer},
  editor       = {Kobi Gal and
                  Ann Now{\'{e}} and
                  Grzegorz J. Nalepa and
                  Roy Fairstein and
                  Roxana Radulescu},
  title        = {Verifying Belief-Based Programs via Symbolic Dynamic Programming},
  booktitle    = {{ECAI} 2023 - 26th European Conference on Artificial Intelligence,
                  September 30 - October 4, 2023, Krak{\'{o}}w, Poland - Including 12th
                  Conference on Prestigious Applications of Intelligent Systems {(PAIS}
                  2023)},
  series       = {Frontiers in Artificial Intelligence and Applications},
  volume       = {372},
  pages        = {1497--1504},
  publisher    = {{IOS} Press},
  year         = {2023},
  url          = {https://doi.org/10.3233/FAIA230429},
  doi          = {10.3233/FAIA230429},
  timestamp    = {Wed, 18 Oct 2023 09:31:16 +0200},
  biburl       = {https://dblp.org/rec/conf/ecai/0002HBL23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"fRDH6m6eAbTqtWMGs","bibbaseid":"liu-huang-belle-lakemeyer-verifyingbeliefbasedprogramsviasymbolicdynamicprogramming-2023","author_short":["Liu, D.","Huang, Q.","Belle, V.","Lakemeyer, G."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Daxin"],"propositions":[],"lastnames":["Liu"],"suffixes":[]},{"firstnames":["Qinfei"],"propositions":[],"lastnames":["Huang"],"suffixes":[]},{"firstnames":["Vaishak"],"propositions":[],"lastnames":["Belle"],"suffixes":[]},{"firstnames":["Gerhard"],"propositions":[],"lastnames":["Lakemeyer"],"suffixes":[]}],"editor":[{"firstnames":["Kobi"],"propositions":[],"lastnames":["Gal"],"suffixes":[]},{"firstnames":["Ann"],"propositions":[],"lastnames":["Nowé"],"suffixes":[]},{"firstnames":["Grzegorz","J."],"propositions":[],"lastnames":["Nalepa"],"suffixes":[]},{"firstnames":["Roy"],"propositions":[],"lastnames":["Fairstein"],"suffixes":[]},{"firstnames":["Roxana"],"propositions":[],"lastnames":["Radulescu"],"suffixes":[]}],"title":"Verifying Belief-Based Programs via Symbolic Dynamic Programming","booktitle":"ECAI 2023 - 26th European Conference on Artificial Intelligence, September 30 - October 4, 2023, Kraków, Poland - Including 12th Conference on Prestigious Applications of Intelligent Systems (PAIS 2023)","series":"Frontiers in Artificial Intelligence and Applications","volume":"372","pages":"1497–1504","publisher":"IOS Press","year":"2023","url":"https://doi.org/10.3233/FAIA230429","doi":"10.3233/FAIA230429","timestamp":"Wed, 18 Oct 2023 09:31:16 +0200","biburl":"https://dblp.org/rec/conf/ecai/0002HBL23.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/ecai/0002HBL23,\n author = {Daxin Liu and\n Qinfei Huang and\n Vaishak Belle and\n Gerhard Lakemeyer},\n editor = {Kobi Gal and\n Ann Now{\\'{e}} and\n Grzegorz J. Nalepa and\n Roy Fairstein and\n Roxana Radulescu},\n title = {Verifying Belief-Based Programs via Symbolic Dynamic Programming},\n booktitle = {{ECAI} 2023 - 26th European Conference on Artificial Intelligence,\n September 30 - October 4, 2023, Krak{\\'{o}}w, Poland - Including 12th\n Conference on Prestigious Applications of Intelligent Systems {(PAIS}\n 2023)},\n series = {Frontiers in Artificial Intelligence and Applications},\n volume = {372},\n pages = {1497--1504},\n publisher = {{IOS} Press},\n year = {2023},\n url = {https://doi.org/10.3233/FAIA230429},\n doi = {10.3233/FAIA230429},\n timestamp = {Wed, 18 Oct 2023 09:31:16 +0200},\n biburl = {https://dblp.org/rec/conf/ecai/0002HBL23.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Liu, D.","Huang, Q.","Belle, V.","Lakemeyer, G."],"editor_short":["Gal, K.","Nowé, A.","Nalepa, G. J.","Fairstein, R.","Radulescu, R."],"key":"DBLP:conf/ecai/0002HBL23","id":"DBLP:conf/ecai/0002HBL23","bibbaseid":"liu-huang-belle-lakemeyer-verifyingbeliefbasedprogramsviasymbolicdynamicprogramming-2023","role":"author","urls":{"Paper":"https://doi.org/10.3233/FAIA230429"},"metadata":{"authorlinks":{}},"downloads":2},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/52/570.bib","dataSources":["dqRQPSg6Hy3ZXQg7z","ayruv4JDJNMLz7ieC","9fesATq77fFWtSPuB","wMCdMNmiucDu2pMmz","o8SJynH3ZqhBLq3sp","qb6u34NNzEHCho66A","7PCTuJcihysb7xARD"],"keywords":[],"search_terms":["verifying","belief","based","programs","via","symbolic","dynamic","programming","liu","huang","belle","lakemeyer"],"title":"Verifying Belief-Based Programs via Symbolic Dynamic Programming","year":2023,"downloads":2}