{"id":"https://openalex.org/W3089165047","doi":"https://doi.org/10.1109/tse.2020.3024215","title":"Probabilistic Preference Planning Problem for Markov Decision Processes","display_name":"Probabilistic Preference Planning Problem for Markov Decision Processes","publication_year":2020,"publication_date":"2020-09-15","ids":{"openalex":"https://openalex.org/W3089165047","doi":"https://doi.org/10.1109/tse.2020.3024215","mag":"3089165047"},"language":"en","primary_location":{"id":"doi:10.1109/tse.2020.3024215","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tse.2020.3024215","pdf_url":null,"source":{"id":"https://openalex.org/S8351582","display_name":"IEEE Transactions on Software Engineering","issn_l":"0098-5589","issn":["0098-5589","1939-3520","2326-3881"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Software Engineering","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://ris.utwente.nl/ws/files/251900191/Li2020probabilistic.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5102796994","display_name":"Meilun Li","orcid":"https://orcid.org/0000-0003-4026-1179"},"institutions":[{"id":"https://openalex.org/I82880672","display_name":"Beihang University","ror":"https://ror.org/00wk2mp56","country_code":"CN","type":"education","lineage":["https://openalex.org/I82880672"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Meilun Li","raw_affiliation_strings":["School of Mathematics and Systems Science, Beihang University, Beijing, China"],"raw_orcid":"https://orcid.org/0000-0003-4026-1179","affiliations":[{"raw_affiliation_string":"School of Mathematics and Systems Science, Beihang University, Beijing, China","institution_ids":["https://openalex.org/I82880672"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5074733161","display_name":"Andrea Turrini","orcid":"https://orcid.org/0000-0003-4343-9323"},"institutions":[{"id":"https://openalex.org/I19820366","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35","country_code":"CN","type":"government","lineage":["https://openalex.org/I19820366"]},{"id":"https://openalex.org/I4210128818","display_name":"Institute of Software","ror":"https://ror.org/033dfsn42","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210128818"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Andrea Turrini","raw_affiliation_strings":["State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing, China","Institute of Intelligent Software, Guangzhou, Guangzhou, China"],"raw_orcid":"https://orcid.org/0000-0003-4343-9323","affiliations":[{"raw_affiliation_string":"State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I19820366","https://openalex.org/I4210128818"]},{"raw_affiliation_string":"Institute of Intelligent Software, Guangzhou, Guangzhou, China","institution_ids":["https://openalex.org/I4210128818"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5030417706","display_name":"Ernst Moritz Hahn","orcid":"https://orcid.org/0000-0002-9348-7684"},"institutions":[{"id":"https://openalex.org/I94624287","display_name":"University of Twente","ror":"https://ror.org/006hf6230","country_code":"NL","type":"education","lineage":["https://openalex.org/I94624287"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Ernst Moritz Hahn","raw_affiliation_strings":["University of Twente, Enschede, NB, The Netherlands"],"raw_orcid":"https://orcid.org/0000-0002-9348-7684","affiliations":[{"raw_affiliation_string":"University of Twente, Enschede, NB, The Netherlands","institution_ids":["https://openalex.org/I94624287"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5022816848","display_name":"Zhikun She","orcid":"https://orcid.org/0000-0003-2762-8730"},"institutions":[{"id":"https://openalex.org/I82880672","display_name":"Beihang University","ror":"https://ror.org/00wk2mp56","country_code":"CN","type":"education","lineage":["https://openalex.org/I82880672"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zhikun She","raw_affiliation_strings":["LMIB and School of Mathematics and Systems Science, Beihang University, Beijing, China"],"raw_orcid":"https://orcid.org/0000-0003-2762-8730","affiliations":[{"raw_affiliation_string":"LMIB and School of Mathematics and Systems Science, Beihang University, Beijing, China","institution_ids":["https://openalex.org/I82880672"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100448153","display_name":"Lijun Zhang","orcid":"https://orcid.org/0000-0002-3692-2088"},"institutions":[{"id":"https://openalex.org/I19820366","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35","country_code":"CN","type":"government","lineage":["https://openalex.org/I19820366"]},{"id":"https://openalex.org/I4210128818","display_name":"Institute of Software","ror":"https://ror.org/033dfsn42","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210128818"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Lijun Zhang","raw_affiliation_strings":["State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing, China","Institute of Intelligent Software, Guangzhou, Guangzhou, China"],"raw_orcid":"https://orcid.org/0000-0002-3692-2088","affiliations":[{"raw_affiliation_string":"State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I19820366","https://openalex.org/I4210128818"]},{"raw_affiliation_string":"Institute of Intelligent Software, Guangzhou, Guangzhou, China","institution_ids":["https://openalex.org/I4210128818"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.507,"has_fulltext":true,"cited_by_count":6,"citation_normalized_percentile":{"value":0.72115702,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":97},"biblio":{"volume":"48","issue":"5","first_page":"1545","last_page":"1559"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9986000061035156,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10906","display_name":"AI-based Problem Solving and Planning","score":0.9969000220298767,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/notation","display_name":"Notation","score":0.6824238896369934},{"id":"https://openalex.org/keywords/solver","display_name":"Solver","score":0.6083777546882629},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.6003103256225586},{"id":"https://openalex.org/keywords/markov-decision-process","display_name":"Markov decision process","score":0.5720664262771606},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5455670952796936},{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.44310569763183594},{"id":"https://openalex.org/keywords/heuristic","display_name":"Heuristic","score":0.43189093470573425},{"id":"https://openalex.org/keywords/preference","display_name":"Preference","score":0.4258936643600464},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3941185474395752},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.35501396656036377},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.3320755362510681},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.28276312351226807},{"id":"https://openalex.org/keywords/markov-process","display_name":"Markov process","score":0.27895796298980713},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.17692559957504272},{"id":"https://openalex.org/keywords/arithmetic","display_name":"Arithmetic","score":0.136198490858078}],"concepts":[{"id":"https://openalex.org/C45357846","wikidata":"https://www.wikidata.org/wiki/Q2001982","display_name":"Notation","level":2,"score":0.6824238896369934},{"id":"https://openalex.org/C2778770139","wikidata":"https://www.wikidata.org/wiki/Q1966904","display_name":"Solver","level":2,"score":0.6083777546882629},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.6003103256225586},{"id":"https://openalex.org/C106189395","wikidata":"https://www.wikidata.org/wiki/Q176789","display_name":"Markov decision process","level":3,"score":0.5720664262771606},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5455670952796936},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.44310569763183594},{"id":"https://openalex.org/C173801870","wikidata":"https://www.wikidata.org/wiki/Q201413","display_name":"Heuristic","level":2,"score":0.43189093470573425},{"id":"https://openalex.org/C2781249084","wikidata":"https://www.wikidata.org/wiki/Q908656","display_name":"Preference","level":2,"score":0.4258936643600464},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3941185474395752},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.35501396656036377},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3320755362510681},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.28276312351226807},{"id":"https://openalex.org/C159886148","wikidata":"https://www.wikidata.org/wiki/Q176645","display_name":"Markov process","level":2,"score":0.27895796298980713},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.17692559957504272},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.136198490858078},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.0},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/tse.2020.3024215","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tse.2020.3024215","pdf_url":null,"source":{"id":"https://openalex.org/S8351582","display_name":"IEEE Transactions on Software Engineering","issn_l":"0098-5589","issn":["0098-5589","1939-3520","2326-3881"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Software Engineering","raw_type":"journal-article"},{"id":"pmh:oai:ris.utwente.nl:openaire/1a010458-545a-4222-a167-4e3890839e03","is_oa":true,"landing_page_url":"https://research.utwente.nl/en/publications/1a010458-545a-4222-a167-4e3890839e03","pdf_url":"https://ris.utwente.nl/ws/files/251900191/Li2020probabilistic.pdf","source":{"id":"https://openalex.org/S4406922991","display_name":"University of Twente Research Information","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":"Li, M, Turrini, A, Hahn, E M, She, Z & Zhang, L 2022, 'Probabilistic Preference Planning Problem for Markov Decision Processes', IEEE transactions on software engineering, vol. 48, no. 5, pp. 1545-1559. https://doi.org/10.1109/TSE.2020.3024215","raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":{"id":"pmh:oai:ris.utwente.nl:openaire/1a010458-545a-4222-a167-4e3890839e03","is_oa":true,"landing_page_url":"https://research.utwente.nl/en/publications/1a010458-545a-4222-a167-4e3890839e03","pdf_url":"https://ris.utwente.nl/ws/files/251900191/Li2020probabilistic.pdf","source":{"id":"https://openalex.org/S4406922991","display_name":"University of Twente Research Information","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":"Li, M, Turrini, A, Hahn, E M, She, Z & Zhang, L 2022, 'Probabilistic Preference Planning Problem for Markov Decision Processes', IEEE transactions on software engineering, vol. 48, no. 5, pp. 1545-1559. https://doi.org/10.1109/TSE.2020.3024215","raw_type":"info:eu-repo/semantics/article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G2039356335","display_name":null,"funder_award_id":"1160.18.238","funder_id":"https://openalex.org/F4320321800","funder_display_name":"Nederlandse Organisatie voor Wetenschappelijk Onderzoek"},{"id":"https://openalex.org/G3219187101","display_name":null,"funder_award_id":"Z180005","funder_id":"https://openalex.org/F4320322919","funder_display_name":"Natural Science Foundation of Beijing Municipality"},{"id":"https://openalex.org/G3934914081","display_name":null,"funder_award_id":"2018B010107004","funder_id":"https://openalex.org/F4320324202","funder_display_name":"Guangdong Science and Technology Department"},{"id":"https://openalex.org/G4371345817","display_name":"PrimaVera: Predictive maintenance for Very effective asset management","funder_award_id":"NWA.1160.18.238","funder_id":"https://openalex.org/F4320321800","funder_display_name":"Nederlandse Organisatie voor Wetenschappelijk Onderzoek"},{"id":"https://openalex.org/G6979878578","display_name":null,"funder_award_id":"61761136011","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G7097245526","display_name":"\u7c7b\u4eba\u4efb\u52a1\u89c4\u5212\u3001\u63a8\u7406\u53ca\u5176\u9a8c\u8bc1\u7cfb\u7edf\u7684\u7814\u7a76\u548c\u5e94\u7528","funder_award_id":"61836005","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G7468986614","display_name":"\u5927\u89c4\u6a21\u6982\u7387\u5e76\u53d1\u5b9e\u65f6\u7cfb\u7edf\u6a21\u578b\u68c0\u9a8c","funder_award_id":"61532019","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G7534874740","display_name":"Sequoia: Smart maintenance optimization via big data & fault tree analysis","funder_award_id":"15474","funder_id":"https://openalex.org/F4320321800","funder_display_name":"Nederlandse Organisatie voor Wetenschappelijk Onderzoek"},{"id":"https://openalex.org/G7578367868","display_name":"\u591a\u9879\u5f0f\u5faa\u73af\u7a0b\u5e8f\u7684\u7ec8\u6b62\u6027\u7814\u7a76\u53ca\u5176\u5e94\u7528","funder_award_id":"61572024","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G7788404580","display_name":null,"funder_award_id":"Z180005","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G977168931","display_name":null,"funder_award_id":"11422111","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"}],"funders":[{"id":"https://openalex.org/F4320316135","display_name":"Deutsche Bahn","ror":"https://ror.org/04xrarz80"},{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"},{"id":"https://openalex.org/F4320321800","display_name":"Nederlandse Organisatie voor Wetenschappelijk Onderzoek","ror":"https://ror.org/04jsz6e67"},{"id":"https://openalex.org/F4320322919","display_name":"Natural Science Foundation of Beijing Municipality","ror":null},{"id":"https://openalex.org/F4320324202","display_name":"Guangdong Science and Technology Department","ror":"https://ror.org/00tjzgn92"},{"id":"https://openalex.org/F4320326145","display_name":"ProRail","ror":null}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3089165047.pdf","grobid_xml":"https://content.openalex.org/works/W3089165047.grobid-xml"},"referenced_works_count":62,"referenced_works":["https://openalex.org/W838921790","https://openalex.org/W1480909796","https://openalex.org/W1491322982","https://openalex.org/W1496114564","https://openalex.org/W1512310098","https://openalex.org/W1584040247","https://openalex.org/W1584965098","https://openalex.org/W1619459736","https://openalex.org/W1625390266","https://openalex.org/W1700264732","https://openalex.org/W1862398452","https://openalex.org/W1978892650","https://openalex.org/W2001347654","https://openalex.org/W2005998857","https://openalex.org/W2006754637","https://openalex.org/W2028145673","https://openalex.org/W2061504687","https://openalex.org/W2068770142","https://openalex.org/W2076337359","https://openalex.org/W2104298332","https://openalex.org/W2117518378","https://openalex.org/W2123330464","https://openalex.org/W2129975315","https://openalex.org/W2130805777","https://openalex.org/W2141088850","https://openalex.org/W2144301791","https://openalex.org/W2145386431","https://openalex.org/W2153367464","https://openalex.org/W2159595840","https://openalex.org/W2168001802","https://openalex.org/W2177617373","https://openalex.org/W2294184790","https://openalex.org/W2401610261","https://openalex.org/W2401977081","https://openalex.org/W2404068774","https://openalex.org/W2604825101","https://openalex.org/W2615768957","https://openalex.org/W2769826186","https://openalex.org/W2778432194","https://openalex.org/W2783963507","https://openalex.org/W2810178509","https://openalex.org/W2898978767","https://openalex.org/W2951988391","https://openalex.org/W2962806365","https://openalex.org/W2963762601","https://openalex.org/W2966828147","https://openalex.org/W3027039943","https://openalex.org/W3037833345","https://openalex.org/W3100786387","https://openalex.org/W4234044464","https://openalex.org/W4289665848","https://openalex.org/W6623279525","https://openalex.org/W6630713009","https://openalex.org/W6637793992","https://openalex.org/W6679343966","https://openalex.org/W6682124619","https://openalex.org/W6683303659","https://openalex.org/W6713259193","https://openalex.org/W6736689255","https://openalex.org/W6754351074","https://openalex.org/W6755980445","https://openalex.org/W6766203590"],"related_works":["https://openalex.org/W2504004674","https://openalex.org/W2498744856","https://openalex.org/W1595229445","https://openalex.org/W4390482104","https://openalex.org/W322408318","https://openalex.org/W149041114","https://openalex.org/W2963177394","https://openalex.org/W1965815883","https://openalex.org/W4313359513","https://openalex.org/W763418848"],"abstract_inverted_index":{"The":[0],"classical":[1],"planning":[2,59,118],"problem":[3,60,92,119],"aims":[4],"to":[5,15,20,36,93,100,145],"find":[6],"a":[7,13,16,94,111,121],"sequence":[8],"of":[9,114,137],"permitted":[10],"actions":[11],"leading":[12],"system":[14],"designed":[17],"state,":[18],"i.e.,":[19],"achieve":[21],"the":[22,38,56,67,86,91,115,128,135,148,157],"system\u2019s":[23],"task.":[24],"However,":[25],"in":[26],"many":[27],"realistic":[28],"cases":[29],"we":[30,54,108],"also":[31],"have":[32],"requirements":[33],"on":[34,72,140],"how":[35],"complete":[37],"task,":[39],"indicating":[40],"that":[41,147],"some":[42,141],"behaviors":[43],"and":[44,106,126],"situations":[45],"are":[46,69],"more":[47,154],"preferred":[48,87],"than":[49,156],"others.":[50],"In":[51],"this":[52],"paper,":[53],"present":[55],"probabilistic":[57,75,116],"preference-based":[58,117],"($\\mathrm{P4}$)":[61],"for":[62],"Markov":[63],"decision":[64],"processes,":[65],"where":[66],"preferences":[68],"defined":[70],"based":[71],"an":[73,82],"enriched":[74],"LTL-style":[76],"logic.":[77],"We":[78,133],"first":[79],"recall$\\mathrm{\\mathrm{P4}":[80],"{}Solver}$,":[81],"SMT-based":[83],"planner":[84],"computing":[85],"plan":[88],"by":[89],"reducing":[90],"quadratic":[95],"programming":[96],"one":[97],"previously":[98],"developed":[99],"solve$\\mathrm{P4}$.":[101],"To":[102],"improve":[103],"computational":[104],"efficiency":[105],"scalability,":[107],"then":[109],"introduce":[110],"new":[112],"encoding":[113],"as":[120],"multi-objective":[122],"model":[123,149],"checking":[124],"one,":[125],"propose":[127],"corresponding":[129],"planner$\\mathrm{\\mathrm{P4}":[130],"{}Solver}":[131],"_{{MO}}$.":[132],"illustrate":[134],"efficacy":[136],"both":[138],"planners":[139],"selected":[142],"case":[143],"studies":[144],"show":[146],"checking-based":[150],"algorithm":[151],"is":[152],"considerably":[153],"efficient":[155],"quadratic-programming-based":[158],"one.":[159]},"counts_by_year":[{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":4}],"updated_date":"2026-07-29T09:40:50.615796","created_date":"2025-10-10T00:00:00"}