On the Verification of Belief Programs
Liu, Daxin (Corresponding author); Lakemeyer, Gerhard (Corresponding author)
(2022)
Preprint
Einrichtungen
- Graduiertenkolleg UnRAVeL [080060]
- Fachgruppe Informatik [120000]
- Lehr- und Forschungsgebiet Informatik 5 (Wissensbasierte Systeme) [121920]
Identifikationsnummern
- arXiv: arXiv:2204.12562
- RWTH PUBLICATIONS: RWTH-2022-05347