{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,5]],"date-time":"2022-04-05T13:52:43Z","timestamp":1649166763952},"reference-count":39,"publisher":"World Scientific Pub Co Pte Lt","issue":"06","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Artif. Intell. Tools"],"published-print":{"date-parts":[[2015,12]]},"abstract":"<jats:p>Automatic planning tools can be a valuable aid to build control systems for a wide range of everyday appliances. Many systems which interact with the real world present a non-deterministic behaviour, often made more complex by nonlinear continuous dynamics. In this context, strong planning, which requires finding a plan that is guaranteed to achieve the goal regardless of non-determinism, plays an important role. With the increasing need for optimising the use of resources, finding strong solutions while minimising a cost function appears a significant research challenge, which has not previously been addressed.<\/jats:p><jats:p>In this paper we provide a formal description of the cost-optimal strong planning problem and present an algorithm to solve it with good complexity bounds. The algorithm correctness and completeness are formally proved, and its implementation in the disk-based SUPMurphi tool is described. Finally, two meaningful case studies are presented to show the effectiveness of the proposed approach compared with a state-of-the-art strong planning tool.<\/jats:p>","DOI":"10.1142\/s0218213015500256","type":"journal-article","created":{"date-parts":[[2015,6,2]],"date-time":"2015-06-02T16:28:08Z","timestamp":1433262488000},"page":"1550025","source":"Crossref","is-referenced-by-count":0,"title":["Synthesis of Cost-Optimal Strong Plans in Non-Deterministic Domains"],"prefix":"10.1142","volume":"24","author":[{"given":"Giuseppe Della","family":"Penna","sequence":"first","affiliation":[{"name":"Department of Information Engineering, Computer Science and Mathematics, University of L'Aquila, Via Vetoio, 67100 Coppito, L'Aquila, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bedenetto","family":"Intrigila","sequence":"additional","affiliation":[{"name":"Department of Enterprise Engineering, University of Rome Tor Vergata Rome, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniele","family":"Magazzeni","sequence":"additional","affiliation":[{"name":"Department of Informatics, King's College London Strand, London WC2R 2LS, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fabio","family":"Mercorio","sequence":"additional","affiliation":[{"name":"Department of Statistics and Quantitative Methods \u2013 C.R.I.S.P. Research Centre, University of Milan-Bicocca, Milan, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"219","published-online":{"date-parts":[[2015,12,22]]},"reference":[{"key":"p_1","doi-asserted-by":"publisher","DOI":"10.1145\/77600.77615"},{"key":"p_3","doi-asserted-by":"publisher","DOI":"10.1109\/37.24809"},{"key":"p_7","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2006.01.004"},{"key":"p_11","doi-asserted-by":"publisher","DOI":"10.1023\/A:1011286518035"},{"key":"p_12","doi-asserted-by":"crossref","first-page":"933","DOI":"10.1613\/jair.1688","volume":"24","author":"Bonet Blai","year":"2005","journal-title":"Journal of Artificial Intelligence Research"},{"key":"p_14","first-page":"141","volume":"8401","author":"Boselli Roberto","year":"2014","journal-title":"LNCS"},{"key":"p_16","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1613\/jair.575","volume":"11","author":"Boutilier Craig","year":"1999","journal-title":"Journal of Artificial Intelligence Research"},{"key":"p_17","first-page":"58","volume":"2006","author":"Bryce Daniel","year":"2006","journal-title":"ICAPS"},{"key":"p_20","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2007.903817"},{"key":"p_21","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(02)00374-0"},{"key":"p_25","first-page":"35","author":"Daniele Marco","year":"2000","journal-title":"UK"},{"key":"p_26","doi-asserted-by":"publisher","DOI":"10.1177\/0278364912440736"},{"key":"p_29","first-page":"222","author":"Penna Giuseppe Della","year":"2010","journal-title":"Canada"},{"key":"p_30","first-page":"131","author":"Penna Giuseppe Della","year":"2010","journal-title":"Mexico"},{"key":"p_31","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-005-0216-7"},{"key":"p_32","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-004-0149-6"},{"issue":"4","key":"p_33","first-page":"932","volume":"36","author":"Penna Giuseppe Della","year":"2011","journal-title":"Applied Intelligence"},{"key":"p_35","first-page":"135","volume":"99","author":"Edelkamp Stefan","year":"1999","journal-title":"ECP"},{"key":"p_42","first-page":"1","author":"Giunchiglia Fausto","year":"2000","journal-title":"UK"},{"key":"p_43","doi-asserted-by":"crossref","first-page":"253","DOI":"10.1613\/jair.855","volume":"14","author":"Hoffmann J\u00f6rg","year":"2001","journal-title":"Journal of Artificial Intelligence Research"},{"key":"p_45","doi-asserted-by":"publisher","DOI":"10.1142\/S0218213007003515"},{"key":"p_48","first-page":"393","volume":"2009","author":"Ilcev Stojce Dimov","year":"2009","journal-title":"CriMiCo"},{"key":"p_49","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1613\/jair.649","volume":"13","author":"Jensen Rune M.","year":"2000","journal-title":"JAIR"},{"key":"p_51","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(97)00031-3"},{"issue":"1","key":"p_55","first-page":"49","volume":"25","author":"Kissmann Peter","year":"2011","journal-title":"KI"},{"key":"p_56","doi-asserted-by":"publisher","DOI":"10.1109\/9.273337"},{"key":"p_58","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-004-0140-2"},{"key":"p_59","volume":"2","author":"Hector","journal-title":"William J. Clancey and Daniel S. Weld"},{"key":"p_62","doi-asserted-by":"publisher","DOI":"10.1142\/S0218213006002758"},{"key":"p_65","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1613\/jair.2269","volume":"31","author":"Mausam Mausam","year":"2008","journal-title":"Journal of Artificial Intelligence Research"},{"issue":"2","key":"p_67","doi-asserted-by":"crossref","first-page":"257","DOI":"10.3233\/AIC-130556","volume":"26","author":"Mercorio Fabio","year":"2013","journal-title":"AI Communications"},{"key":"p_68","doi-asserted-by":"publisher","DOI":"10.1080\/01621459.1949.10483310"},{"key":"p_69","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1613\/jair.2529","volume":"34","author":"Meuleau Nicolas","year":"2009","journal-title":"JAIR"},{"key":"p_71","doi-asserted-by":"publisher","DOI":"10.1145\/2641575"},{"key":"p_75","doi-asserted-by":"publisher","DOI":"10.1016\/S0165-0114(99)00168-2"},{"key":"p_77","first-page":"234","author":"Pistore Marco","year":"2003","journal-title":"DC, USA"},{"issue":"4","key":"p_79","first-page":"41","volume":"2","author":"Reddy Sudhakar Y.","year":"2011","journal-title":"ACM TIST"},{"key":"p_85","doi-asserted-by":"publisher","DOI":"10.1007\/s10514-012-9320-1"},{"key":"p_90","doi-asserted-by":"publisher","DOI":"10.1016\/j.ipm.2014.07.007"}],"container-title":["International Journal on Artificial Intelligence Tools"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S0218213015500256","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,9,2]],"date-time":"2020-09-02T23:34:34Z","timestamp":1599089674000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/abs\/10.1142\/S0218213015500256"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,12]]},"references-count":39,"journal-issue":{"issue":"06","published-online":{"date-parts":[[2015,12,22]]},"published-print":{"date-parts":[[2015,12]]}},"alternative-id":["10.1142\/S0218213015500256"],"URL":"https:\/\/doi.org\/10.1142\/s0218213015500256","relation":{},"ISSN":["0218-2130","1793-6349"],"issn-type":[{"value":"0218-2130","type":"print"},{"value":"1793-6349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,12]]}}}