{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,8,7]],"date-time":"2024-08-07T07:34:02Z","timestamp":1723016042116},"publisher-location":"California","reference-count":0,"publisher":"International Joint Conferences on Artificial Intelligence Organization","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022,7]]},"abstract":"<jats:p>We consider the mobile robot path planning problem for a class of recurrent reachability objectives. These objectives are parameterized by the expected time needed to visit one position from another, the expected square of this time, and also the frequency of moves between two neighboring locations. We design an efficient strategy synthesis algorithm for recurrent reachability objectives and demonstrate its functionality on non-trivial instances.<\/jats:p>","DOI":"10.24963\/ijcai.2022\/644","type":"proceedings-article","created":{"date-parts":[[2022,7,16]],"date-time":"2022-07-16T02:55:56Z","timestamp":1657940156000},"page":"4642-4648","source":"Crossref","is-referenced-by-count":0,"title":["General Optimization Framework for Recurrent Reachability Objectives"],"prefix":"10.24963","author":[{"given":"David","family":"Klaska","sequence":"first","affiliation":[{"name":"Masaryk University"}]},{"given":"Antonin","family":"Kucera","sequence":"additional","affiliation":[{"name":"Masaryk University"}]},{"given":"Vit","family":"Musil","sequence":"additional","affiliation":[{"name":"Masaryk University"}]},{"given":"Vojtech","family":"Rehak","sequence":"additional","affiliation":[{"name":"Masaryk University"}]}],"member":"10584","event":{"number":"31","sponsor":["International Joint Conferences on Artificial Intelligence Organization (IJCAI)"],"acronym":"IJCAI-2022","name":"Thirty-First International Joint Conference on Artificial Intelligence {IJCAI-22}","start":{"date-parts":[[2022,7,23]]},"theme":"Artificial Intelligence","location":"Vienna, Austria","end":{"date-parts":[[2022,7,29]]}},"container-title":["Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence"],"original-title":[],"deposited":{"date-parts":[[2022,7,18]],"date-time":"2022-07-18T11:10:52Z","timestamp":1658142652000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.ijcai.org\/proceedings\/2022\/644"}},"subtitle":[],"proceedings-subject":"Artificial Intelligence Research Articles","short-title":[],"issued":{"date-parts":[[2022,7]]},"references-count":0,"URL":"https:\/\/doi.org\/10.24963\/ijcai.2022\/644","relation":{},"subject":[],"published":{"date-parts":[[2022,7]]}}}