Code, Benchmarks, and Data of Faster Stackelberg Planning via Symbolic Search and Information Sharing

The latest version of this repository is: https://gitlab.com/atorralba_planners/stackelberg-planner-sls Installation ================== To build the tool, navigate to the /src folder and execute: ./build_all Usage ================== ./fast-downward.py --search The recommended "default" configurations are: * For easy instances: "sym_stackelberg(optimal_engine=symbolic(plan_reuse_minimal_task_upper_bound=false, plan_reuse_upper_bound=true), upper_bound_pruning=false)" * For harder instances: "sym_stackelberg(optimal_engine=symbolic(plan_reuse_minimal_task_upper_bound=true, plan_reuse_upper_bound=true, force_bw_search_minimum_task_seconds=30, time_limit_seconds_minimum_task=300), upper_bound_pruning=true)" The difference is weather you activate upper bound pruning, which requires some pre-processing. You may control the amount of pre-processing with the time limits: force_bw_search_minimum_task_seconds and time_limit_seconds_minimum_task For the net-benefit planning variant use ./fast-downward.py --translate-options --soft 10000 --search-options --search This will set the reward for each individual goal to 10000 units of cost. PDDL Format ================== The set of actions has to be divided in leader and follower actions. To specify this in PDDL we simply adopt the following convention: * Leader actions have a name that starts with fix_ * Follower actions have a name that starts with attack_ Note: this naming convention comes from a pentesting context where leader actions fix vulnerabilities in a network and the follower "attacks" the network by exploiting the remaining vulnerabilities. Benchmarks ================== The benchmarks folder contains the benchmarks used to evaluate the algorithms. We used the following nomenclature: * rs42: a random seed of 42 was used to select which subset of actions is available for the leader. * tcX: where X is a number that specifies how many of the follower's actions the leader can disable. * -driving-: Benchmarks containing the word driving, the leader needs to move along the network in order to disable follower's actions. Experiments ================== The experiments/aaai21 folder contains the scripts used to run the experiments: * lab_parser.py: parses the output of the planner. * configs: all the configurations used for the experiments * create_configs.py: creates lab scripts, one for each config and puts them into a folder * run_scripts.sh: executes all lab scripts within the folder created by create_configs.py * report.py: fetches all results from all runs of all configs and re-writes some attributes for the scripts, the resulting properties file should be provided to paper-tables.py and paper-tables-soft-goals.py * paper-tables.py: Used to generate some of the plots in the paper, the resulting properties file should be provided to coverage-report.py * coverage-report.py: prints the coverage table included in the paper * paper-tables-soft-goals.py: Used to generate the plots in the paper that compare New vs Net benchmarks The properties file provided is the one that was gathered by report.py, before being processed by paper-tables.py