This is a planner for multi-agent epistemic planning. This code is continuously updated. We are planning to release a brand new version of MEPK and more details about it will be presented. You are welcome to follow this work.

MEPK is implemented in C/C++. It's a knowledge-base based planner which means it treats a knowledge-base as a state in the searching progress. (More details can be found in above paper and a comprehensive introduction will be proposed later)

Tested on Ubuntu 18.04 and macOS Mojave.

flex/bison - for parsing epddl

expect - for setting timeout

Change to the directory MEPK/src

• Compile:

$ make

• Run with breadth first search:

  • Run one test case

  $ ./mepk ../benchmarks/hexa/hexa_domain3.epddl 2

  • Run all test cases

  $ ./run_with_bfs.sh

• Run with heuristic strategy:

  • Run one test case

  $ ./mepk ../benchmarks/hexa/hexa_domain3.epddl 0

  • Run all test cases

  $ ./run_with_heu.sh

• Debug:

$ ./test ../benchmarks/hexa/hexa_domain3.epddl