belief_projection
Projection of belief in the presence of nondeterministic actions and fallible sensing. [Prolog]pddl_parser
A simple parser for the Planning Domain Definition Language (PDDL) based on pyparsing. [Python]vergo
Vergo: A Verification System for GOLOG Programs. [Prolog]