default author photo

Narges Baharloo

Concordia University

Canada

SCHOLARLY PAPERS

2

DOWNLOADS

243

TOTAL CITATIONS

0

Scholarly Papers (2)

1.

Verifying Trust Over Iot-Ad Hoc Network-Based Applications Under Uncertainty

Number of pages: 16 Posted: 28 Jul 2023
Concordia University, Concordia University, Concordia University, Concordia University and University of Alberta
Downloads 151 (494,203)

Abstract:

Loading...

Trust, Ad Hoc Networks, IoT, Uncertainty, Verification, Three-valued model checking

2.

Model Checking Combined Trust and Commitments in Multi-Agent Systems

Number of pages: 23 Posted: 25 Feb 2023
Concordia University, Concordia University, Concordia University and University of Alberta
Downloads 92 (730,864)

Abstract:

Loading...

multi-agent systems, Verification, Model Checking, Trust, Social Commitments