D 2022

General Optimization Framework for Recurrent Reachability Objectives

KLAŠKA, David, Antonín KUČERA, Vít MUSIL a Vojtěch ŘEHÁK

Základní údaje

Originální název

General Optimization Framework for Recurrent Reachability Objectives

Autoři

KLAŠKA, David (203 Česká republika, domácí), Antonín KUČERA (203 Česká republika, garant, domácí), Vít MUSIL (203 Česká republika, domácí) a Vojtěch ŘEHÁK (203 Česká republika, domácí)

Vydání

Neuveden, Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, IJCAI 2022, od s. 4642-4648, 7 s. 2022

Nakladatel

ijcai.org

Další údaje

Jazyk

angličtina

Typ výsledku

Stať ve sborníku

Obor

10201 Computer sciences, information science, bioinformatics

Utajení

není předmětem státního či obchodního tajemství

Forma vydání

elektronická verze "online"

Odkazy

Kód RIV

RIV/00216224:14330/22:00126564

Organizační jednotka

Fakulta informatiky

ISBN

978-1-956792-00-3

ISSN

DOI

Klíčová slova anglicky

recurrent reachability objectives; strategy synthesis

Štítky

Příznaky

Mezinárodní význam, Recenzováno
Změněno: 28. 3. 2023 11:54, RNDr. Pavel Šmerk, Ph.D.

Anotace

V originále

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

CZ.02.2.69/0.0/0.0/18_053/0016952, interní kód MU
(Kód CEP: EF18_053/0016952)
Název: Postdoc2MUNI
Investor: Ministerstvo školství, mládeže a tělovýchovy ČR, Postdoc2MUNI, PO 2 Rozvoj vysokých škol a lidských zdrojů pro výzkum a vývoj
EF18_053/0016952, projekt VaV
Název: Postdoc2MUNI
GA21-24711S, projekt VaV
Název: Efektivní analýza a optimalizace pravděpodobnostních systémů a her (Akronym: Efektivní analýza a optimalizace pravděpodobnostní)
Investor: Grantová agentura ČR, Efektivní analýza a optimalizace pravděpodobnostních systémů a her
MUNI/A/1145/2021, interní kód MU
Název: Rozsáhlé výpočetní systémy: modely, aplikace a verifikace XI. (Akronym: SV-FI MAV XI.)
Investor: Masarykova univerzita, Rozsáhlé výpočetní systémy: modely, aplikace a verifikace XI.
MUNI/A/1230/2021, interní kód MU
Název: Zapojení studentů Fakulty informatiky do mezinárodní vědecké komunity 22 (Akronym: SKOMU)
Investor: Masarykova univerzita, Zapojení studentů Fakulty informatiky do mezinárodní vědecké komunity 22