Planning at King's College London

Results 4 repositories owned by Planning at King's College London

ROSPlan

342
Stars
159
Forks
Watchers

The ROSPlan framework provides a generic method for task planning in a ROS system.

rosplan_demos

42
Stars
28
Forks
Watchers

Tutorials and Demos for ROSPlan.

SMTPlan

36
Stars
14
Forks
Watchers

PDDL+ planning through compilation to SMT

VAL

69
Stars
44
Forks
Watchers

The plan validation system.