|
[TVM+25]
Xin Tao, Irene Vila, Swarup Kumar Mohalik, Jordi Perez-Romero and Oriol Sallen.
ReLVaaS: Verification-as-a-Service to Analyze Trustworthiness of RL-based Solutions in 6G Networks.
In Proc. 17th International Conference on Communication Systems & Networks (COMSNETS’25).
2025.
[Uses probabilistic model checking and PRISM to verify the reliability of reinforcement-learning based methods for Radio Access Network (RAN) slicing.]
|
|
Links:
[Google]
[Google Scholar]
|