| Formalizing group and propagated trust in multi-agent systems N Drawel, J Bentahar, A Laarej, G Rjoub Proceedings of the twenty-ninth international conference on international …, 2021 | 25 | 2021 |
| Formal verification of group and propagated trust in multi-agent systems N Drawel, J Bentahar, A Laarej, G Rjoub Autonomous Agents and Multi-Agent Systems 36 (1), 19, 2022 | 24 | 2022 |
| A comprehensive survey on applications of transformers for deep learning tasks S Islam, H Elmekki, A Elsebai, J Bentahar, N Drawel, G Rjoub, W Pedrycz Expert Systems with Applications, 122666, 2023 | 21 | 2023 |
| Reasoning about trust and time in a system of agents N Drawel, J Bentahar, E Shakshuki Procedia Computer Science 109, 632-639, 2017 | 19 | 2017 |
| Quantitative group trust: A two-stage verification approach J Bentahar, N Drawel, A Sadiki Proceedings of the 21st international conference on autonomous agents and …, 2022 | 17 | 2022 |
| Verifying Temporal Trust Logic using CTL Model Checking. N Drawel, J Bentahar, M El-Menshawy, A Laarej TRUST@ AAMAS, 62-74, 2018 | 13 | 2018 |
| Computationally Grounded Quantitative Trust with Time. N Drawel, J Bentahar, H Qu AAMAS, 1837-1839, 2020 | 12 | 2020 |
| Transformation-based model checking temporal trust in multi-agent systems N Drawel, A Laarej, J Bentahar, M El Menshawy Journal of Systems and Software 192, 111383, 2022 | 9 | 2022 |
| Reasoning about uncertainty over IoT systems G Alwhishi, J Bentahar, N Drawel 2022 International Wireless Communications and Mobile Computing (IWCMC), 306-311, 2022 | 6 | 2022 |
| Model checking intelligent information systems with 3-valued timed commitments G Alwhishi, N Drawel, J Bentahar International Conference on Mobile Web and Intelligent Information Systems …, 2022 | 5 | 2022 |
| Multi-valued model checking IoT and intelligent systems with commitment protocols in multi-source data environments G Alwhishi, J Bentahar, A Elwhishi, W Pedrycz, N Drawel Information Fusion 102, 102048, 2024 | 4 | 2024 |
| One-shot federated learning-based model-free reinforcement learning G Rjoub, J Bentahar, OA Wahab, N Drawel The International Conference on Deep Learning, Big Data and Blockchain, 39-52, 2022 | 4 | 2022 |
| Model Checking Trust-based Multi-Agent Systems N Drawel Concordia University, 2019 | 2 | 2019 |
| Model checking combined trust and commitments in multi-agent systems J Bentahar, N Baharloo, N Drawel, W Pedrycz Available at SSRN 4370421, 2023 | 1 | 2023 |
| Degrees of trust: Temporal logic and model checking N Drawel, J Bentahar, H Qu TRUST@ AAMAS, 62-74, 2019 | 1 | 2019 |
| Corrigendum to “Transformation-based model checking temporal trust in multi-agent systems”[Journal of Systems and Software Volume 192, October 2022, 111383] N Drawel, A Laarej, J Bentahar, M El Menshawy Journal of Systems and Software 213, 112052, 2024 | | 2024 |
| Model checking combined trust and commitments in Multi-Agent Systems N Baharloo, J Bentahar, N Drawel, W Pedrycz Expert Systems with Applications 243, 122856, 2024 | | 2024 |
| Verifying trust over IoT-ad hoc network-based applications under uncertainty N Baharloo, J Bentahar, G Alwhishi, N Drawel, W Pedrycz Ad Hoc Networks 154, 103380, 2024 | | 2024 |
| Deep Reinforcement Learning for Robotics Motion Planning Combining Graph Neural Networks and Multi-Agent Systems G Rjoub, J Bentahar, H Elmekki, W Pedrycz, N Drawel, S Kassaymeh Available at SSRN 4725188, 0 | | |
