{"publication":"28th International Conference on Automated Planning and Scheduling ","publication_status":"published","abstract":[{"lang":"eng","text":"We consider planning problems for graphs, Markov decision processes (MDPs), and games on graphs. While graphs represent the most basic planning model, MDPs represent interaction with nature and games on graphs represent interaction with an adversarial environment. We consider two planning problems where there are k different target sets, and the problems are as follows: (a) the coverage problem asks whether there is a plan for each individual target set; and (b) the sequential target reachability problem asks whether the targets can be reached in sequence. For the coverage problem, we present a linear-time algorithm for graphs, and quadratic conditional lower bound for MDPs and games on graphs. For the sequential target problem, we present a linear-time algorithm for graphs, a sub-quadratic algorithm for MDPs, and a quadratic conditional lower bound for games on graphs. Our results with conditional lower bounds establish (i) model-separation results showing that for the coverage problem MDPs and games on graphs are harder than graphs and for the sequential reachability problem games on graphs are harder than MDPs and graphs; and (ii) objective-separation results showing that for MDPs the coverage problem is harder than the sequential target problem."}],"conference":{"name":"ICAPS: International Conference on Automated Planning and Scheduling","location":"Delft, Netherlands","end_date":"2018-06-29","start_date":"2018-06-24"},"author":[{"full_name":"Chatterjee, Krishnendu","first_name":"Krishnendu","orcid":"0000-0002-4561-241X","last_name":"Chatterjee","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Dvorák","first_name":"Wolfgang","full_name":"Dvorák, Wolfgang"},{"first_name":"Monika H","full_name":"Henzinger, Monika H","orcid":"0000-0002-5008-6530","last_name":"Henzinger","id":"540c9bbd-f2de-11ec-812d-d04a5be85630"},{"full_name":"Svozil, Alexander","first_name":"Alexander","last_name":"Svozil"}],"_id":"35","related_material":{"record":[{"relation":"later_version","status":"public","id":"9293"}]},"isi":1,"date_updated":"2023-09-26T10:41:41Z","type":"conference","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","oa":1,"status":"public","project":[{"grant_number":"S 11407_N23","_id":"25832EC2-B435-11E9-9278-68D0E5697425","call_identifier":"FWF","name":"Rigorous Systems Engineering"},{"_id":"2581B60A-B435-11E9-9278-68D0E5697425","grant_number":"279307","call_identifier":"FP7","name":"Quantitative Graph Games: Theory and Applications"}],"external_id":{"isi":["000492986200007"],"arxiv":["1804.07031"]},"citation":{"short":"K. Chatterjee, W. Dvorák, M.H. Henzinger, A. Svozil, in:, 28th International Conference on Automated Planning and Scheduling , AAAI Press, 2018.","mla":"Chatterjee, Krishnendu, et al. “Algorithms and Conditional Lower Bounds for Planning Problems.” <i>28th International Conference on Automated Planning and Scheduling </i>, AAAI Press, 2018.","ama":"Chatterjee K, Dvorák W, Henzinger MH, Svozil A. Algorithms and conditional lower bounds for planning problems. In: <i>28th International Conference on Automated Planning and Scheduling </i>. AAAI Press; 2018.","ieee":"K. Chatterjee, W. Dvorák, M. H. Henzinger, and A. Svozil, “Algorithms and conditional lower bounds for planning problems,” in <i>28th International Conference on Automated Planning and Scheduling </i>, Delft, Netherlands, 2018.","ista":"Chatterjee K, Dvorák W, Henzinger MH, Svozil A. 2018. Algorithms and conditional lower bounds for planning problems. 28th International Conference on Automated Planning and Scheduling . ICAPS: International Conference on Automated Planning and Scheduling.","chicago":"Chatterjee, Krishnendu, Wolfgang Dvorák, Monika H Henzinger, and Alexander Svozil. “Algorithms and Conditional Lower Bounds for Planning Problems.” In <i>28th International Conference on Automated Planning and Scheduling </i>. AAAI Press, 2018.","apa":"Chatterjee, K., Dvorák, W., Henzinger, M. H., &#38; Svozil, A. (2018). Algorithms and conditional lower bounds for planning problems. In <i>28th International Conference on Automated Planning and Scheduling </i>. Delft, Netherlands: AAAI Press."},"date_created":"2018-12-11T11:44:17Z","month":"06","article_processing_charge":"No","department":[{"_id":"KrCh"}],"oa_version":"None","main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/1804.07031"}],"title":"Algorithms and conditional lower bounds for planning problems","quality_controlled":"1","scopus_import":"1","language":[{"iso":"eng"}],"publist_id":"8020","date_published":"2018-06-01T00:00:00Z","ec_funded":1,"publisher":"AAAI Press","year":"2018","day":"01"}