Model checking combined trust and commitments in Multi-Agent Systems. - Narges Baharloo; Jamal Bentahar; Nagat Drawel; Witold Pedrycz (Expert Syst. Appl., 2024)

Verifying trust over IoT-ad hoc network-based applications under uncertainty. - Narges Baharloo; Jamal Bentahar; Ghalya Alwhishi; Nagat Drawel; Witold Pedrycz (Ad Hoc Networks, 2024)