Search Results - "Drawel, Nagat"

Formal verification of group and propagated trust in multi-agent systems by Drawel, Nagat, Bentahar, Jamal, Laarej, Amine, Rjoub, Gaith

“…While modeling trust in multi-agent systems provides a fundamental basis for promoting safe interactions and imitating agents reasoning mechanisms, exploiting…”
Get full text

A comprehensive survey on applications of transformers for deep learning tasks by Islam, Saidul, Elmekki, Hanae, Elsebai, Ahmed, Bentahar, Jamal, Drawel, Nagat, Rjoub, Gaith, Pedrycz, Witold

“…Transformers are Deep Neural Networks (DNN) that utilize a self-attention mechanism to capture contextual relationships within sequential data. Unlike…”
Get full text

Model checking combined trust and commitments in Multi-Agent Systems by Baharloo, Narges, Bentahar, Jamal, Drawel, Nagat, Pedrycz, Witold

“…Trust and social commitments have been studied with different objectives for communication in Multi-Agent Systems (MASs) separately. The purpose of this paper…”
Get full text

Specification and automatic verification of trust-based multi-agent systems by Drawel, Nagat, Qu, Hongyang, Bentahar, Jamal, Shakshuki, Elhadi

“…We present a new logic-based framework for modeling and automatically verifying trust in Multi-Agent Systems (MASs). We start by refining TCTL, a temporal…”
Get full text

Transformation-based model checking temporal trust in multi-agent systems by Drawel, Nagat, Laarej, Amine, Bentahar, Jamal, El Menshawy, Mohamed

“…Several formal trust frameworks have been introduced in the area of Multi-Agent Systems (MASs). However, the problem of model checking trust logics is still a…”
Get full text

Corrigendum to “Transformation-based model checking temporal trust in multi-agent systems” [Journal of Systems and Software Volume 192, October 2022, 111383] by Drawel, Nagat, Laarej, Amine, Bentahar, Jamal, Menshawy, Mohamed El

Get full text

Multi-valued model checking IoT and intelligent systems with commitment protocols in multi-source data environments by Alwhishi, Ghalya, Bentahar, Jamal, Elwhishi, Ahmed, Pedrycz, Witold, Drawel, Nagat

“…In today’s world of connectivity, various domains use different multi-sensor Internet of Things (IoT) and Intelligent Systems (IS) applications. These…”
Get full text

Verifying trust over IoT-ad hoc network-based applications under uncertainty by Baharloo, Narges, Bentahar, Jamal, Alwhishi, Ghalya, Drawel, Nagat, Pedrycz, Witold

“…The rapid integration of the Internet of Things (IoT) with ad hoc networks offers significant advantages for revolutionizing smart environments. However,…”
Get full text

Reasoning about Uncertainty over IoT Systems by Alwhishi, Ghalya, Bentahar, Jamal, Drawel, Nagat

“…The advent of the Internet of Things (IoT) has led to a rapid increase in the number of applications that are deployed within open and uncertain physical…”
Get full text