Liu, D.; Lakemeyer, G. A Framework for Belief-Based Programs and Their Verification (Abstract Reprint). AAAI 2026, 40, 39875-39875.