Navigate a grid map efficiently, avoiding obstacles, and finding optimal paths for autonomous systems. This project combines Reinforcement Learning, Monte Carlo Tree Search, and Model-Based Formal Methods to create and validate effective path plans.
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool
