With the accelerated development of smart cities, the concept of a “smart industrial park” in which unmanned ground vehicles (UGVs) have wide application has entered the industrial …
T Kolárik, S Ratschan - International Symposium on Formal Methods, 2023 - Springer
Railway scheduling is a problem that exhibits both non-trivial discrete and continuous behavior. In this paper, we model this problem using a combination of SAT and ordinary …
S Lin, A Liu, J Wang, X Kong - 2022 - opus.lib.uts.edu.au
Numerous path-planning studies have been conducted in past decades due to the challenges of obtaining optimal solutions. This paper reviews multi-robot path-planning …
The practical applications of mobile robots are widely implemented in various areas, such as education, industry, environment, and civil applications. The requirements of robots' …
In recent years, the multi-agent pathfinding problem has gained significant attention in the field of artificial intelligence research. The problem involves selecting the optimal path for …