Progression and verification of situation calculus agents with bounded beliefs
scientific article; zbMATH DE number 6624780
scientific article