General Optimization Framework for Recurrent Reachability Objectives
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14330%2F22%3A00126564" target="_blank" >RIV/00216224:14330/22:00126564 - isvavai.cz</a>
Result on the web
<a href="https://doi.org/10.24963/ijcai.2022/644" target="_blank" >https://doi.org/10.24963/ijcai.2022/644</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.24963/ijcai.2022/644" target="_blank" >10.24963/ijcai.2022/644</a>
Alternative languages
Result language
angličtina
Original language name
General Optimization Framework for Recurrent Reachability Objectives
Original language description
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.
Czech name
—
Czech description
—
Classification
Type
D - Article in proceedings
CEP classification
—
OECD FORD branch
10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Result continuities
Project
Result was created during the realization of more than one project. More information in the Projects tab.
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>S - Specificky vyzkum na vysokych skolach
Others
Publication year
2022
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Article name in the collection
Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, IJCAI 2022
ISBN
9781956792003
ISSN
1045-0823
e-ISSN
—
Number of pages
7
Pages from-to
4642-4648
Publisher name
ijcai.org
Place of publication
Neuveden
Event location
Vienna, Austria
Event date
Jul 23, 2022
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
—