Canada
Concordia University
Robot motion planning, Proximal Policy Optimization (PPO), Graph Neural Networks (GNNs), Multi-Agent Systems (MAS), Centralized Training and Decentralized Execution (CTDE)
Trust, Ad Hoc Networks, IoT, Uncertainty, Verification, Three-valued model checking
multi-agent systems, Verification, Model Checking, Trust, Social Commitments
Multi-valued model checking, IoT, Intelligent systems (IS), Commitment, Lattice-Valued propositional logics, Uncertainty and inconsistency