General Optimization Framework for Recurrent Reachability Objectives

Varování

Publikace nespadá pod Ústav výpočetní techniky, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.

Autoři	KLAŠKA David KUČERA Antonín MUSIL Vít ŘEHÁK Vojtěch
Rok publikování	2022
Druh	Článek ve sborníku
Konference	Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, IJCAI 2022
Fakulta / Pracoviště MU	Fakulta informatiky
Citace
www	Paper URL
Doi	http://dx.doi.org/10.24963/ijcai.2022/644
Klíčová slova	recurrent reachability objectives; strategy synthesis
Popis	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.
Související projekty:	Postdoc2MUNI Efektivní analýza a optimalizace pravděpodobnostních systémů a her Zapojení studentů Fakulty informatiky do mezinárodní vědecké komunity 22 Rozsáhlé výpočetní systémy: modely, aplikace a verifikace XI.