Mobile agent path planning under uncertain environment using reinforcement learning and probabilistic model checking
Xia Wang, Jun Liu, Chris Nugent, Ian Cleland, Yang Xu
Topics & Concepts
Reinforcement learningComputer scienceProbabilistic logicProbabilistic CTLReliability (semiconductor)Markov chainQ-learningMarkov decision processMotion planningPath (computing)Artificial intelligenceMathematical optimizationMachine learningMarkov processProbabilistic analysis of algorithmsMathematicsRobotQuantum mechanicsPhysicsPower (physics)Programming languageStatisticsReinforcement Learning in RoboticsFormal Methods in VerificationSoftware Testing and Debugging Techniques