Canada
Concordia University
Trust, Ad Hoc Networks, IoT, Uncertainty, Verification, Three-valued model checking
multi-agent systems, Verification, Model Checking, Trust, Social Commitments