General Optimization Framework for Recurrent Reachability Objectives

Investor logo
Investor logo

Warning

This publication doesn't include Faculty of Education. It includes Faculty of Informatics. Official publication website can be found on muni.cz.
Authors

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

Year of publication 2022
Type Article in Proceedings
Conference Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, IJCAI 2022
MU Faculty or unit

Faculty of Informatics

Citation
Web Paper URL
Doi http://dx.doi.org/10.24963/ijcai.2022/644
Keywords recurrent reachability objectives; strategy synthesis
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.
Related projects:

You are running an old browser version. We recommend updating your browser to its latest version.