Mobile agent path planning under uncertain environment using reinforcement learning and probabilistic model checking.
Xia WangJun LiuChris D. NugentIan ClelandYang XuPublished in: Knowl. Based Syst. (2023)
Keyphrases
- path planning
- model checking
- mobile agents
- mobile robot
- path planning algorithm
- dynamic and uncertain environments
- dynamic environments
- reinforcement learning
- navigation tasks
- temporal logic
- computing environments
- multi robot
- autonomous vehicles
- reactive systems
- formal verification
- multiple robots
- model checker
- finite state
- distributed systems
- symbolic model checking
- motion planning
- real robot
- verification method
- load balancing
- fault tolerance
- mobile agent system
- computation tree logic
- path finding
- optimal path
- multi agent
- autonomous systems
- state space
- agent technology
- autonomous agents
- autonomous robots
- bounded model checking
- machine learning
- epistemic logic
- mobile computing
- degrees of freedom
- search algorithm
- expert systems
- fuzzy sets