|
[WLN+23]
Xia Wang, Jun Liu, Chris Nugent, Ian Cleland and Yang Xu.
Mobile agent path planning under uncertain environment using reinforcement learning and probabilistic model checking.
Knowledge-Based Systems.
2023.
[Presents a mobile agent path planning framework that integrates verification via PRISM.]
|
|
Links:
[Google]
[Google Scholar]
|