{"id":"https://openalex.org/W7105122729","doi":"https://doi.org/10.5281/zenodo.17582751","title":"Good-for-MDP State Reduction for Stochastic LTL Planning","display_name":"Good-for-MDP State Reduction for Stochastic LTL Planning","publication_year":2025,"publication_date":"2025-11-11","ids":{"openalex":"https://openalex.org/W7105122729","doi":"https://doi.org/10.5281/zenodo.17582751"},"language":null,"primary_location":{"id":"doi:10.5281/zenodo.17582751","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.17582751","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article"},"type":"other","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.5281/zenodo.17582751","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Weinhuber, Christoph","orcid":"https://orcid.org/0000-0002-1600-4933"},"institutions":[{"id":"https://openalex.org/I40120149","display_name":"University of Oxford","ror":"https://ror.org/052gg0110","country_code":"GB","type":"education","lineage":["https://openalex.org/I40120149"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"Weinhuber, Christoph","raw_affiliation_strings":["University of Oxford"],"raw_orcid":"https://orcid.org/0000-0002-1600-4933","affiliations":[{"raw_affiliation_string":"University of Oxford","institution_ids":["https://openalex.org/I40120149"]}]},{"author_position":"middle","author":{"id":null,"display_name":"De Giacomo, Giuseppe","orcid":"https://orcid.org/0000-0001-9680-7658"},"institutions":[{"id":"https://openalex.org/I40120149","display_name":"University of Oxford","ror":"https://ror.org/052gg0110","country_code":"GB","type":"education","lineage":["https://openalex.org/I40120149"]},{"id":"https://openalex.org/I861853513","display_name":"Sapienza University of Rome","ror":"https://ror.org/02be6w209","country_code":"IT","type":"education","lineage":["https://openalex.org/I861853513"]}],"countries":["GB","IT"],"is_corresponding":false,"raw_author_name":"De Giacomo, Giuseppe","raw_affiliation_strings":["University of Oxford","Universit\u00e0 degli Studi di Roma La Sapienza Dipartimento di Scienze Statistiche"],"raw_orcid":"https://orcid.org/0000-0001-9680-7658","affiliations":[{"raw_affiliation_string":"University of Oxford","institution_ids":["https://openalex.org/I40120149"]},{"raw_affiliation_string":"Universit\u00e0 degli Studi di Roma La Sapienza Dipartimento di Scienze Statistiche","institution_ids":["https://openalex.org/I861853513"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Li, Yong","orcid":"https://orcid.org/0000-0002-7301-9234"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Li, Yong","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0000-0002-7301-9234","affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Schewe, Sven","orcid":"https://orcid.org/0000-0002-9093-9518"},"institutions":[{"id":"https://openalex.org/I146655781","display_name":"University of Liverpool","ror":"https://ror.org/04xs57h96","country_code":"GB","type":"education","lineage":["https://openalex.org/I146655781"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Schewe, Sven","raw_affiliation_strings":["University of Liverpool"],"raw_orcid":"https://orcid.org/0000-0002-9093-9518","affiliations":[{"raw_affiliation_string":"University of Liverpool","institution_ids":["https://openalex.org/I146655781"]}]},{"author_position":"last","author":{"id":null,"display_name":"Tang, Qiyi","orcid":"https://orcid.org/0000-0002-9265-3011"},"institutions":[{"id":"https://openalex.org/I146655781","display_name":"University of Liverpool","ror":"https://ror.org/04xs57h96","country_code":"GB","type":"education","lineage":["https://openalex.org/I146655781"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Tang, Qiyi","raw_affiliation_strings":["University of Liverpool"],"raw_orcid":"https://orcid.org/0000-0002-9265-3011","affiliations":[{"raw_affiliation_string":"University of Liverpool","institution_ids":["https://openalex.org/I146655781"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":5,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I40120149"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":null,"topics":[],"keywords":[{"id":"https://openalex.org/keywords/artifact","display_name":"Artifact (error)","score":0.7907000184059143},{"id":"https://openalex.org/keywords/table","display_name":"Table (database)","score":0.6931999921798706},{"id":"https://openalex.org/keywords/scripting-language","display_name":"Scripting language","score":0.6920999884605408},{"id":"https://openalex.org/keywords/benchmark","display_name":"Benchmark (surveying)","score":0.5457000136375427},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.5425999760627747},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.5404999852180481},{"id":"https://openalex.org/keywords/reduction","display_name":"Reduction (mathematics)","score":0.4138999879360199}],"concepts":[{"id":"https://openalex.org/C2779010991","wikidata":"https://www.wikidata.org/wiki/Q2720909","display_name":"Artifact (error)","level":2,"score":0.7907000184059143},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7486000061035156},{"id":"https://openalex.org/C45235069","wikidata":"https://www.wikidata.org/wiki/Q278425","display_name":"Table (database)","level":2,"score":0.6931999921798706},{"id":"https://openalex.org/C61423126","wikidata":"https://www.wikidata.org/wiki/Q187432","display_name":"Scripting language","level":2,"score":0.6920999884605408},{"id":"https://openalex.org/C185798385","wikidata":"https://www.wikidata.org/wiki/Q1161707","display_name":"Benchmark (surveying)","level":2,"score":0.5457000136375427},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.5425999760627747},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.5404999852180481},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.460099995136261},{"id":"https://openalex.org/C111335779","wikidata":"https://www.wikidata.org/wiki/Q3454686","display_name":"Reduction (mathematics)","level":2,"score":0.4138999879360199},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.3856000006198883},{"id":"https://openalex.org/C43126263","wikidata":"https://www.wikidata.org/wiki/Q128751","display_name":"Source code","level":2,"score":0.3287000060081482},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3237999975681305},{"id":"https://openalex.org/C94633896","wikidata":"https://www.wikidata.org/wiki/Q7140378","display_name":"Partial order reduction","level":3,"score":0.3147999942302704},{"id":"https://openalex.org/C2780940931","wikidata":"https://www.wikidata.org/wiki/Q174989","display_name":"File system","level":2,"score":0.30250000953674316},{"id":"https://openalex.org/C2777210771","wikidata":"https://www.wikidata.org/wiki/Q4927124","display_name":"Block (permutation group theory)","level":2,"score":0.28349998593330383},{"id":"https://openalex.org/C116188536","wikidata":"https://www.wikidata.org/wiki/Q17118377","display_name":"Swift","level":2,"score":0.2833999991416931},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.2833999991416931},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.2770000100135803},{"id":"https://openalex.org/C77618280","wikidata":"https://www.wikidata.org/wiki/Q1155772","display_name":"Scheme (mathematics)","level":2,"score":0.27300000190734863},{"id":"https://openalex.org/C182306322","wikidata":"https://www.wikidata.org/wiki/Q1779371","display_name":"Order (exchange)","level":2,"score":0.2727000117301941}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.5281/zenodo.17582751","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.17582751","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article"}],"best_oa_location":{"id":"doi:10.5281/zenodo.17582751","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.17582751","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Overview":[0],"Welcome":[1],"and":[2,151,178,192,250,283,317,349,468,498,594,610,643],"thanks":[3,565],"for":[4,18,74,83,88,280,328,599],"checking":[5],"out":[6,329,537],"the":[7,27,48,52,56,84,93,129,136,155,166,175,216,257,278,296,309,314,322,326,331,459,462,465,470,476,486,514,524,527,551,558,561,577,581,596,600,616,620,628,641,687],"artifact":[8,23,57,217],"behind":[9],"our":[10,31,45,64,72,81,112,133,170,260,346,494,502,649],"AAAI":[11],"2026":[12],"(oral)":[13],"paper":[14,134],"Good-for-MDP":[15],"State":[16],"Reduction":[17],"Stochastic":[19],"LTL":[20,694],"Planning.":[21],"This":[22,224,340,354],"not":[24,244],"only":[25,636],"contains":[26,464],"code":[28,65],"used":[29,154,699],"in":[30,66,132,312,479,512,619,640,703],"paper,":[32],"but":[33],"also":[34],"a":[35,67,124,180,272,299,318,343],"Docker":[36,60,149,158,208,228,297,332],"file":[37,61,126,553],"together":[38],"with":[39,127,183,321],"setup":[40,97,103],"scripts":[41,120],"to":[42,62,99,105,109,236,255,352,556,566,587,635,663],"automatically":[43],"benchmark":[44],"algorithms":[46],"against":[47],"current":[49],"state":[50,76],"of":[51,71,80,92,169,195,259,330,345,526,580],"art.":[53],"In":[54,253,303],"detail,":[55],"includes:":[58],"A":[59,96,102],"run":[63,214,265,602,672],"container.":[68,229],"The":[69,78,455,696],"implementation":[70,79,91],"algorithm":[73,82],"good-for-MDP":[75],"reduction.":[77],"direct":[85],"GFM":[86],"construction":[87],"GF$\\varphi$.":[89],"An":[90],"\"slim\"-GFM":[94],"construction.":[95],"script":[98,104],"install":[100,106],"SPOT.":[101],"Owl.":[107],"Furthermore,":[108],"make":[110,145,199,585],"reproducing":[111],"results":[113,130,311,347,579,639],"as":[114,116,358,453],"easy":[115],"possible,":[117],"we":[118,698],"provide":[119],"which":[121,188,564],"immediately":[122],"create":[123,342],".tex":[125,319,463],"all":[128],"presented":[131],"(including":[135],"ones":[137],"from":[138,700],"Appendix).":[139],"Dependencies":[140],"To":[141,324],"get":[142],"started,":[143],"please":[144],"sure":[146,200,586],"you":[147,205,242,292,305,509,554,612],"have":[148,207,243,633],"installed":[150,209],"running.":[152],"We":[153,632,683],"following":[156,521],"version:":[157],"version":[159],"27.3.1":[160],"(we":[161],"use":[162],"build":[163,220,226,667],"ce1223035a)":[164],"Running":[165,645],"Artifact":[167],"All":[168],"experiments":[171],"were":[172],"conducted":[173],"using":[174,560],"provided":[176],"Dockerfile,":[177],"on":[179,210,651],"MacBook":[181],"Air":[182],"an":[184],"M2":[185],"(ARM)":[186],"chip,":[187],"has":[189,690],"8":[190],"cores":[191],"16":[193],"GB":[194],"RAM.":[196],"Before":[197],"starting,":[198],"ltl_formulas.zip":[201],"is":[202,356],"unzipped.":[203],"Assuming":[204],"already":[206,691],"your":[211,227],"machine,":[212],"simply":[213,262,334,517],"inside":[215],"folder:":[218],"docker":[219,264,336,604,607,617,666,671,677],"-t":[221,668],"gfm-artifact":[222,269,669,676],".":[223,670],"will":[225,293,306,341,575,626],"Note":[230,547],"that":[231,548,658,686],"this":[232,538,545,659],"might":[233,660],"take":[234,661],"up":[235,662],"30":[237,290],"minutes":[238],"(or":[239],"longer":[240],"if":[241,508,529],"Ubuntu":[245],"cached).":[246],"Recreating":[247,505],"Table":[248,251,281,284],"1":[249,282],"2":[252,285],"order":[254],"recreate":[256],"Tables":[258],"mainbody,":[261],"run:":[263,335],"-it":[266,673],"--name":[267,674],"gfm-running":[268,606,609,675],"If":[270],"succesfull,":[271],"small":[273],"progress-bar":[274,279],"should":[275,570],"appear.":[276],"Once":[277],"are":[286,493,510,684,702],"completed":[287],"(usually":[288],"after":[289,549],"minutes),":[291],"find":[294,307,475],"within":[295,469,519],"container":[298,559,598,618],"folder":[300,348,355],"called":[301],"tables.":[302],"there":[304],"both":[308],"raw":[310,460,477],".json,":[313],".hoa":[315,383,396,409,422,435,446,480],"automata":[316,478],"file,":[320],"results.":[323],"copy":[325,344,588,627],"result":[327],"container,":[333],"cp":[337,678],"gfm-running:/workspace/tables":[338,679],"./tables_copy":[339,680],"paste":[350],"it":[351,625],"./tables_copy.":[353],"structured":[357],"follows:":[359],"tables_copy":[360],"\u251c\u2500\u2500":[361,364,367,370,373,377,386,390,399,403,412,416,425,429,441],"table_1":[362],"\u2502":[363,366,369,372,375,376,379,380,385,388,389,392,393,398,401,402,405,406,411,414,415,418,419,424,427,428,431,432,437,440,443],"table_1.json":[365],"table_1_postprocessed.json":[368],"table_1.tex":[371],"gfm":[374,490],"1ae882bf.hoa":[378,391,404,417,430,442],"\u2514\u2500\u2500":[381,394,407,420,433,438,444,448],"(more":[382,395,408,421,434,445],"files)":[384,397,410,423,436,447],"gfm_minimised":[387],"gfm_gf":[400,499],"gfm_gf_minimised":[413],"owl":[426],"owl_minimised":[439],"table_2":[449],"...":[450],"(same":[451],"structure":[452],"table_1)":[454],".json":[456],"files":[457],"contain":[458,485],"result,":[461],"processed":[466],"table":[467],"corresponding":[471],"folder,":[472],"one":[473],"can":[474,592,613],"format":[481],"Owl":[482,488],"(and":[483,491,500],"Owl_minimised)":[484],"(reduced)":[487,495,503],"automata,":[489,497],"gfm_minimised)":[492],"slim":[496],"gfm_gf_minimised)":[501],"automata.":[504],"Appendix":[506,515],"Optionally,":[507],"interested":[511],"recreating":[513],"tables,":[516],"uncomment":[518,544],"benchmark.py":[520,630],"line":[522],"at":[523],"end":[525],"file:":[528],"__name__":[530],"==":[531],"\"__main__\":":[532],"mainbody_table()":[533],"#":[534,540,542],"^^^^^^^^^^^^^^^^^":[535,543],"comment":[536],"line.":[539,546],"appendix_table()":[541,646],"changing":[550],"benchmarks.py":[552],"need":[555],"rebuild":[557],"above":[562],"command":[563],"Dockers":[567],"caching":[568],"mechanism,":[569],"be":[571],"instant.":[572],"Doing":[573],"so,":[574],"delete":[576],"computed":[578],"main":[582],"body":[583],"so":[584],"them":[589],"first.":[590],"You":[591],"stop":[593,605],"remove":[595],"previous":[597],"next":[601],"via:":[603],"rm":[608],"then":[611],"continue":[614],"executing":[615],"usual":[621],"way":[622],"(but":[623],"now":[624],"new":[629],"inside).":[631],"decided":[634],"report":[637],"interesting":[638],"mainbody":[642],"appendix.":[644],"furthermore,":[647],"benchmarks":[648],"technique":[650],"more":[652],"than":[653],"12":[654],"resources.":[655],"Be":[656],"advised":[657],"6":[664],"hours:":[665],"Formula":[681],"Sources":[682],"happy":[685],"OWL":[688,701],"toolkit":[689],"collected":[692],"many":[693],"formulas.":[695],"formulas":[697],"ltl_formulas/owl_literature/.":[704]},"counts_by_year":[],"updated_date":"2025-11-12T23:15:19.534421","created_date":"2025-11-12T00:00:00"}