|
[RCP+22]
Joshua Riley, Radu Calinescu, Colin Paterson, Daniel Kudenko and Alec Banks.
Assured Deep Multi-Agent Reinforcement Learning for Safe Robotic Systems.
In Proc. International Conference on Agents and Artificial Intelligence (ICAART'22).
2022.
[Uses quantitative verification within a multi-agent reinforcement learning setup, deploying PRISM for policy synthesis.]
|
|
Links:
[Google]
[Google Scholar]
|