Jens Claßen

Jens Claßen

Code

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]