General Optimization Framework for Recurrent Reachability Objectives

Kód výsledku v 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>

Výsledek na webu

<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>

Jazyk výsledku

angličtina

Název v původním jazyce

General Optimization Framework for Recurrent Reachability Objectives

Popis výsledku v původním jazyce

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.

Název v anglickém jazyce

General Optimization Framework for Recurrent Reachability Objectives

Popis výsledku anglicky

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.

Druh

D - Stať ve sborníku

CEP obor

—

OECD FORD obor

10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

Projekt

Výsledek vznikl pri realizaci vícero projektů. Více informací v záložce Projekty.

Návaznosti

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>S - Specificky vyzkum na vysokych skolach

Rok uplatnění

2022

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název statě ve sborníku

Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, IJCAI 2022

ISBN

9781956792003

ISSN

1045-0823

e-ISSN

—

Počet stran výsledku

7

Strana od-do

4642-4648

Název nakladatele

ijcai.org

Místo vydání

Neuveden

Místo konání akce

Vienna, Austria

Datum konání akce

23. 7. 2022

Typ akce podle státní příslušnosti

WRD - Celosvětová akce

Kód UT WoS článku

—