David Speck
Jendrik Seipp
2022-03-24
<p><strong>Code</strong></p>
<p>The file speck-seipp-icaps2022-code.zip contains an extended version of the Fast Downward planning system (http://fast-downward.org). Please see http://www.fast-downward.org for detailed instructions on how to compile the planner. Here is the short version for building the planner and running the best performing configuration. The calls for the other configurations can be found in the file speck-seipp-icaps2022-reports.zip.</p>
<pre><code class="language-bash">./build.py
./fast-downward.py PDDL_TASK --search "astar(cegar(subtasks=[original()], max_states=infinity, max_transitions=infinity, max_time=900, pick_split=max_cover, tiebreak_split=max_refined, pick_flaw=min_h_batch_multi_split,max_state_expansions=1000000, use_general_costs=true, debug=false, transform=no_transform(), cache_estimates=true, random_seed=-1))"</code></pre>
<p>The latest version of the code is maintained at <a href="https://github.com/jendrikseipp/scorpion">https://github.com/jendrikseipp/scorpion</a>.</p>
<p><strong>Benchmarks</strong></p>
<p>The file speck-seipp-icaps2022-benchmarks.zip contains the STRIPS PDDL benchmarks from sequential optimization tracks of IPC 1998-2018.</p>
<p><strong>Experiment data</strong></p>
<p>The remaining zipfiles contain the raw experiment data, parsed values, scripts and basic reports for the experiments in the paper.</p>
This research was partially supported by TAILOR, a project funded by the EU Horizon 2020 research and innovation programme under grant agreement no. 952215. David Speck was supported by the German Research Foundation (DFG) as part of the EPSDAC project (MA 7790/1-1). Jendrik Seipp was partially supported by the Wallenberg AI, Autonomous Systems and Software Program (WASP) funded by the Knut and Alice Wallenberg Foundation.
https://doi.org/10.5281/zenodo.6381925
oai:zenodo.org:6381925
eng
Zenodo
https://zenodo.org/communities/eu
https://doi.org/10.5281/zenodo.6381924
info:eu-repo/semantics/openAccess
GNU General Public License v3.0 or later
https://www.gnu.org/licenses/gpl-3.0-standalone.html
Classical Planning
Heuristic Search
Counterexample-Guided Abstraction Refinement
Code and data for the ICAPS 2022 paper "New Refinement Strategies for Cartesian Abstractions"
info:eu-repo/semantics/other