{
    "@context": [
        "https:\/\/doi.org\/doi:10.5063\/schema\/codemeta-2.0",
        "http:\/\/schema.org"
    ],
    "@type": "SoftwareSourceCode",
    "name": "Code and Benchmarks for the ICAPS24 paper: Explaining the Space of SSP Policies via Policy-Property Dependencies: Complexity, Algorithms, and Relation to Multi-Objective Planning",
    "description": "Source code and benchmark archive for the ICAPS24 paper ''Explaining the Space of SSP Policies via Policy-Property Dependencies: Complexity, Algorithms, and Relation to Multi-Objective Planning''. \r\n\r\nDependencies: \r\n\r\nBuilding and running the code requires CPLEX (tested in version 22.11) and MiniSAT (in version 2.2). \r\nCMake (\\&gt;= 2.8.12) \r\nC++ compiler with C++17 support (tested with GCC). \r\nPython 3 \r\n\r\nCompiling and running: \r\n\r\nOur code builds on probabilistic fast downward, and inherits the same build and run procedure. The build process is started through the build.py xaipp script in the source code root directory:.\/build.py xaipp. \r\n\r\nCPLEX and MiniSat are located using the cplex\\_DIR and minisat\\_DIR environment variables. \r\n\r\nThe planner is invoked through the fast\\_downward.py script, and follows the general syntax \r\n\r\n.\/fast\\_downward.py --build xaipp [DOMAIN.pddl] [PROBLEM.pddl] --translate-options --enumerate-forall --search-options --search ''[CONFIG]'' \r\n\r\nwhere [CONFIG] is one of the following \r\n\r\nexhaustive MIP:marco(full\\_mip()) \r\n\r\nidual with hmax dead-end detection and PPDB2 heuristic:marco(xaidual(reset=false, relaxed\\_check=true, eval=psmax([ps\\_ppdbs(), ps\\_hmax()])))\r\n\r\ni2dual (i.e., idual configuration merried with the projection-occupation-measure heuristic)marco(xai2dual(reset=false, relaxed\\_check=true, eval=ps\\_hmax())) \r\n\r\nmulti-objective value function precomputation via exhaustive MIP:marco(dmo(full\\_mip, reset=false, relaxed\\_check=false, apply\\_enforced\\_properties=true, cost\\_precision=5e-2, prob\\_precision=5e-2)) \r\n\r\nmulti-objective value function precomputation via idual:marco(dmo(xaidual, reset=false, relaxed\\_check=true, apply\\_enforced\\_properties=true, cost\\_precision=5e-2, prob\\_precision=5e-2)) \r\n\r\nmulti-objective value function precomputation via i2dual:marco(dmo(xai2dual, reset=false, relaxed\\_check=true, apply\\_enforced\\_properties=true, cost\\_precision=5e-2, prob\\_precision=5e-2))",
    "dateCreated": "2024-12-06",
    "datePublished": "2024-12-06",
    "license": [
        "GNU General Public License v3.0 or later"
    ],
    "url": "https:\/\/hal.science\/hal-04703836",
    "identifier": [
        {
            "@type": "hal",
            "propertyID": "https:\/\/hal.science\/hal-04703836",
            "value": "hal-04703836"
        },
        {
            "@type": "doi",
            "propertyID": "https:\/\/dx.doi.org\/10.5281\/zenodo.10793823",
            "value": "10.5281\/zenodo.10793823"
        }
    ],
    "applicationCategory": [
        "info.info-ai"
    ],
    "publisher": [
        "Zenodo"
    ],
    "version": "1",
    "dateModified": "2025-10-22",
    "referencePublication": [
        "Rapport LAAS n\u00b0 24544"
    ],
    "author": [
        {
            "@type": "Role",
            "roleName": "aut",
            "author": {
                "@type": "Person",
                "@id": [
                    "0000-0002-0432-0285"
                ],
                "givenName": "Marcel",
                "familyName": "Steinmetz",
                "affiliation": [
                    {
                        "@type": "Organization",
                        "name": "LAAS-RIS"
                    },
                    {
                        "@type": "Organization",
                        "name": "Comue de Toulouse"
                    }
                ]
            }
        },
        {
            "@type": "Role",
            "roleName": "aut",
            "author": {
                "@type": "Person",
                "@id": [
                    "0000-0002-7434-3976"
                ],
                "givenName": "Sylvie",
                "familyName": "Thiebaux",
                "affiliation": [
                    {
                        "@type": "Organization",
                        "name": "ANU"
                    },
                    {
                        "@type": "Organization",
                        "name": "LAAS-RIS"
                    }
                ]
            }
        },
        {
            "@type": "Role",
            "roleName": "aut",
            "author": {
                "@type": "Person",
                "@id": null,
                "givenName": "Daniel",
                "familyName": "H\u00f6ller",
                "affiliation": [
                    {
                        "@type": "Organization"
                    }
                ]
            }
        },
        {
            "@type": "Role",
            "roleName": "aut",
            "author": {
                "@type": "Person",
                "@id": null,
                "givenName": "Florent",
                "familyName": "Teichteil-K\u00f6nigsbuch",
                "affiliation": [
                    {
                        "@type": "Organization"
                    }
                ]
            }
        }
    ],
    "contributor": [
        {
            "@type": "Person",
            "givenName": "Marcel",
            "familyName": "Steinmetz"
        }
    ]
}