On the Verification of Belief Programs
Liu, Daxin (Corresponding author); Lakemeyer, Gerhard (Corresponding author)
(2022)
Preprint
Institutions
- UnRAVeL Research Training Group [080060]
- Department of Computer Science [120000]
- Computer Science 5 (Knowledge-Based Systems Group) [121920]
Identifier
- arXiv: arXiv:2204.12562
- RWTH PUBLICATIONS: RWTH-2022-05347