{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,24]],"date-time":"2025-08-24T01:17:17Z","timestamp":1755998237308,"version":"3.37.3"},"reference-count":57,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"5","license":[{"start":{"date-parts":[[2022,5,1]],"date-time":"2022-05-01T00:00:00Z","timestamp":1651363200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2022,5,1]],"date-time":"2022-05-01T00:00:00Z","timestamp":1651363200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2022,5,1]],"date-time":"2022-05-01T00:00:00Z","timestamp":1651363200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100007162","name":"Guangdong Science and Technology Department","doi-asserted-by":"publisher","award":["2018B010107004"],"award-info":[{"award-number":["2018B010107004"]}],"id":[{"id":"10.13039\/501100007162","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["11422111","61532019","61761136011","61572024","61836005"],"award-info":[{"award-number":["11422111","61532019","61761136011","61572024","61836005"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100004826","name":"Beijing Natural Science Foundation","doi-asserted-by":"publisher","award":["Z180005"],"award-info":[{"award-number":["Z180005"]}],"id":[{"id":"10.13039\/501100004826","id-type":"DOI","asserted-by":"publisher"}]},{"name":"NWO","award":["NWA.1160.18.238"],"award-info":[{"award-number":["NWA.1160.18.238"]}]},{"name":"STW","award":["15474 SEQUOIA"],"award-info":[{"award-number":["15474 SEQUOIA"]}]},{"name":"EU","award":["864075 CAESAR"],"award-info":[{"award-number":["864075 CAESAR"]}]},{"DOI":"10.13039\/501100009957","name":"ProRail","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100009957","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100015870","name":"Deutsche Bahn","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100015870","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IIEEE Trans. Software Eng."],"published-print":{"date-parts":[[2022,5,1]]},"DOI":"10.1109\/tse.2020.3024215","type":"journal-article","created":{"date-parts":[[2020,9,15]],"date-time":"2020-09-15T21:04:49Z","timestamp":1600203889000},"page":"1545-1559","source":"Crossref","is-referenced-by-count":4,"title":["Probabilistic Preference Planning Problem for Markov Decision Processes"],"prefix":"10.1109","volume":"48","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-4026-1179","authenticated-orcid":false,"given":"Meilun","family":"Li","sequence":"first","affiliation":[{"name":"School of Mathematics and Systems Science, Beihang University, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4343-9323","authenticated-orcid":false,"given":"Andrea","family":"Turrini","sequence":"additional","affiliation":[{"name":"State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9348-7684","authenticated-orcid":false,"given":"Ernst Moritz","family":"Hahn","sequence":"additional","affiliation":[{"name":"University of Twente, Enschede, NB, The Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2762-8730","authenticated-orcid":false,"given":"Zhikun","family":"She","sequence":"additional","affiliation":[{"name":"LMIB and School of Mathematics and Systems Science, Beihang University, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3692-2088","authenticated-orcid":false,"given":"Lijun","family":"Zhang","sequence":"additional","affiliation":[{"name":"State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30482-1_23"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1007\/11871842_29"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4684-2001-2_9"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v34i09.7083"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/CIMSA.2009.5069910"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1007\/BF01211866"},{"key":"ref37","first-page":"1786","article-title":"LRTDP versus UCT for online probabilistic planning","author":"kolobov","year":"2012","journal-title":"Proc 26th AAAI Conf Artif Intell"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1613\/jair.1.11595"},{"key":"ref35","first-page":"955","article-title":"Collaborative planning with encoding of users’ high-level strategies","author":"kim","year":"2017","journal-title":"Proc 31st AAAI Conf Artif Intell"},{"key":"ref34","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1609\/icaps.v23i1.13557","article-title":"Trial-based heuristic tree search for finite horizon MDPs","author":"keller","year":"2013","journal-title":"Proc 23rd Int Conf Autom Planning Scheduling"},{"key":"ref28","first-page":"354","article-title":"Lazy probabilistic model checking without determinisation","author":"hahn","year":"2015","journal-title":"Proc 26th Int Conf Concurrency Theory"},{"article-title":"Plan constraints and preferences in PDDL3: The language of the fifth international planning competition","year":"2005","author":"gerevini","key":"ref27"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-06410-9_22"},{"key":"ref2","first-page":"31","article-title":"Planning under LTL environment specifications","author":"aminof","year":"2019","journal-title":"Proc 29th Int Conf Autom Planning Scheduling"},{"key":"ref1","first-page":"615","article-title":"Synthesis under assumptions","author":"aminof","year":"2018","journal-title":"Proc 16th Int Conf Princ Knowl Representation Reasoning"},{"key":"ref20","first-page":"31","article-title":"Optimal symbolic PDDL3 planning with MIPS-BDD","author":"edelkamp","year":"2006","journal-title":"Proc 5th Int Planning Competition Booklet"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.2168\/LMCS-4(4:8)2008"},{"key":"ref21","first-page":"1","article-title":"A planning method for integration of large-scale engineering systems","volume":"97","author":"eppinger","year":"1997","journal-title":"Proc Int Conf Eng Des"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-19835-9_11"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/LRA.2017.2784547"},{"key":"ref26","article-title":"Dynamic programming and Markov processes","volume":"3","author":"howard","year":"1960","journal-title":"Math Gazette"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE-Companion.2019.00026"},{"article-title":"Relational dynamic influence diagram language (RDDL): Language description","year":"2010","author":"sanner","key":"ref50"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1146\/annurev-control-060117-105157"},{"key":"ref57","first-page":"1362","article-title":"Symbolic LTL$_{f}$f synthesis","author":"zhu","year":"2017","journal-title":"Proc 26th Int Joint Conf Artif Intell"},{"key":"ref56","first-page":"238","article-title":"An automata-theoretic approach to linear temporal logic","author":"vardi","year":"1995","journal-title":"Logics for Concurrency"},{"key":"ref55","first-page":"774","article-title":"Path-constrained Markov decision processes: Bridging the gap between probabilistic model-checking and decision-theoretic planning","author":"teichteil-k\u00f6nigsbuch","year":"2012","journal-title":"Proc 20th Eur Conf Artif Intell"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1145\/503222.503224"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068406002717"},{"key":"ref52","first-page":"1790","article-title":"HTN planning with preferences","author":"sohrabi","year":"2009","journal-title":"Proc 21st Int Joint Conf Artif Intell"},{"key":"ref10","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1609\/icaps.v28i1.13908","article-title":"Finite LTL synthesis as planning","author":"camacho","year":"2018","journal-title":"Proc 28th Int Conf Autom Planning Scheduling"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1023\/A:1016619613658"},{"key":"ref11","first-page":"454","article-title":"Finite LTL synthesis with environment assumptions and quality measures","author":"camacho","year":"2018","journal-title":"Proc 16th Int Conf Princ Knowl Representation Reasoning"},{"key":"ref12","first-page":"3716","article-title":"Non-deterministic planning with temporally extended goals: LTL over finite and infinite traces","author":"camacho","year":"2017","journal-title":"Proc 31st AAAI Conf Artif Intell"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/11672142_26"},{"key":"ref14","first-page":"203","article-title":"Expressive power and succinctness of propositional languages for preference representation","author":"coste-marquis","year":"2004","journal-title":"Proc 9th Int Conf Princ Knowl Representation Reasoning"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2015.7139412"},{"key":"ref16","first-page":"854","article-title":"Linear temporal logic and linear dynamic logic on finite traces","author":"de giacomo","year":"2013","journal-title":"Proc 23rd Int Joint Conf Artif Intell"},{"key":"ref17","first-page":"1558","article-title":"Synthesis for LTL and LDL on finite traces","author":"de giacomo","year":"2015","journal-title":"Proc 24th Int Joint Conf Artif Intell"},{"key":"ref18","first-page":"4729","article-title":"Automata-theoretic foundations of FOND planning for LTL$_{f}$f\/LDL$_{f}$f goals","author":"de giacomo","year":"2018","journal-title":"Proc Int Joint Artif Intell Conf"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78800-3_24"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2008.11.011"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(99)00071-5"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1512\/iumj.1957.6.56038"},{"key":"ref5","article-title":"The SMT-LIB standard: Version 2.0","author":"barrett","year":"2010","journal-title":"Proc 8th Int Workshop Satisfiability Modulo Theories"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1613\/jair.575"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2010.11.021"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1080\/00207540601182294"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2004.04.006"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1142\/S0219622013400075"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2004.1307487"},{"key":"ref48","first-page":"92","article-title":"Approximation of Lorenz-optimal solutions in multiobjective Markov decision processes","author":"perny","year":"2013","journal-title":"Proc 27th AAAI Conf Artif Intell"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1080\/00207543.2017.1401749"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2013.10.001"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-22110-1_47"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1016\/j.ins.2014.09.005"},{"key":"ref43","first-page":"3313","article-title":"Preference planning for Markov decision processes","author":"li","year":"2015","journal-title":"Proc 29th AAAI Conf Artif Intell"}],"container-title":["IEEE Transactions on Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/32\/9775544\/09197644.pdf?arnumber=9197644","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,11,18]],"date-time":"2022-11-18T13:46:17Z","timestamp":1668779177000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9197644\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,5,1]]},"references-count":57,"journal-issue":{"issue":"5"},"URL":"https:\/\/doi.org\/10.1109\/tse.2020.3024215","relation":{},"ISSN":["0098-5589","1939-3520","2326-3881"],"issn-type":[{"type":"print","value":"0098-5589"},{"type":"electronic","value":"1939-3520"},{"type":"electronic","value":"2326-3881"}],"subject":[],"published":{"date-parts":[[2022,5,1]]}}}