A Technical Framework For Formally Verifying AI Models Supporting 6G Network Functions.

M. M. Hassan Mahmud, Renjith Baby, Shadi Moazzeni, Juan Marcelo Parra-Ullauri, Xueqing Zhou, Yulei Wu, Konstantinos Katsaros, Ioannis Mavromatis, Shah Zeb, Rasheed Hussain, Dimitra Simeonidou

Browse the full INFOCOM paper archive.