Abstract: The Multi-Agent Path Finding (MAPF) problem on a graph is a fundamental research topic in robotics. This paper formulates a mathematical problem that not only captures path finding in ...
Abstract: To enhance the intelligence of autonomous trajectory planning for Autonomous underwater vehicles (AUVs) in complex Ocean environments, we propose a reinforcement learning algorithm for 3D ...
Makes Julia reason with equations. General purpose metaprogramming, symbolic computation and algebraic equational reasoning library for the Julia programming language: E-Graphs & equality saturatio… ...