Pinned Repositories
belief_projection
Projection of belief in the presence of nondeterministic actions and fallible sensing
pddl_parser
A simple parser for the Planning Domain Definition Language (PDDL) based on pyparsing.
vergo
Vergo: A Verification System for GOLOG Programs
nwpt24.github.io
jens-classen's Repositories
jens-classen/vergo
Vergo: A Verification System for GOLOG Programs
jens-classen/belief_projection
Projection of belief in the presence of nondeterministic actions and fallible sensing
jens-classen/pddl_parser
A simple parser for the Planning Domain Definition Language (PDDL) based on pyparsing.