Accepted Paper by Daxin Liu

Congratulations to Daxin Liu (together with Qinfei Huang, Vaishak Belle, and Gerhard Lakemeye) for the accepted paper "Verifying Belief-based Programs via Symbolic Dynamic Programming" for the 26th European Conference on Artificial Intelligence (ECAI) 2023.