@inproceedings{DBLP:conf/ecai/0002HBL23,
 author = {Daxin Liu and
Qinfei Huang and
Vaishak Belle and
Gerhard Lakemeyer},
 booktitle = {{ECAI} 2023 - 26th European Conference on Artificial Intelligence,
September 30 - Including 12th Conference on Prestigious Applications of Intelligent Systems
{PAIS 2023}},
 doi = {10.3233/FAIA230429},
 keywords = {WP5,A-level},
 pages = {1497--1504},
 publisher = {{IOS} Press},
 series = {Frontiers in Artificial Intelligence and Applications},
 title = {Verifying Belief-Based Programs via Symbolic Dynamic Programming},
 volume = {372},
 year = {2023}
}

{"_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":[]}],"booktitle":"ECAI 2023 - 26th European Conference on Artificial Intelligence, September 30 - Including 12th Conference on Prestigious Applications of Intelligent Systems PAIS 2023","doi":"10.3233/FAIA230429","keywords":"WP5,A-level","pages":"1497–1504","publisher":"IOS Press","series":"Frontiers in Artificial Intelligence and Applications","title":"Verifying Belief-Based Programs via Symbolic Dynamic Programming","volume":"372","year":"2023","bibtex":"@inproceedings{DBLP:conf/ecai/0002HBL23,\n author = {Daxin Liu and\nQinfei Huang and\nVaishak Belle and\nGerhard Lakemeyer},\n booktitle = {{ECAI} 2023 - 26th European Conference on Artificial Intelligence,\nSeptember 30 - Including 12th Conference on Prestigious Applications of Intelligent Systems\n{PAIS 2023}},\n doi = {10.3233/FAIA230429},\n keywords = {WP5,A-level},\n pages = {1497--1504},\n publisher = {{IOS} Press},\n series = {Frontiers in Artificial Intelligence and Applications},\n title = {Verifying Belief-Based Programs via Symbolic Dynamic Programming},\n volume = {372},\n year = {2023}\n}\n\n","author_short":["Liu, D.","Huang, Q.","Belle, V.","Lakemeyer, G."],"key":"DBLP:conf/ecai/0002HBL23","id":"DBLP:conf/ecai/0002HBL23","bibbaseid":"liu-huang-belle-lakemeyer-verifyingbeliefbasedprogramsviasymbolicdynamicprogramming-2023","role":"author","urls":{},"keyword":["WP5","A-level"],"metadata":{"authorlinks":{}},"downloads":2},"bibtype":"inproceedings","biburl":"https://raw.githubusercontent.com/whitemech/tailor-publications.github.io/master/tailor.bib","dataSources":["dqRQPSg6Hy3ZXQg7z","ayruv4JDJNMLz7ieC","9fesATq77fFWtSPuB","wMCdMNmiucDu2pMmz","o8SJynH3ZqhBLq3sp","qb6u34NNzEHCho66A","7PCTuJcihysb7xARD"],"keywords":["wp5","a-level"],"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}