QoE-driven IoT architecture: a comprehensive review on system and resource management

B Saovapakhiran, W Naruephiphat… - IEEE …, 2022 - ieeexplore.ieee.org
Internet of Things (IoT) services have grown substantially in recent years. Consequently, IoT
service providers (SPs) are emerging in the market and competing to offer their services …

[PDF][PDF] Towards scalable verification of deep reinforcement learning

G Amir, M Schapira, G Katz - 2021 formal methods in computer …, 2021 - library.oapen.org
Deep neural networks (DNNs) have gained significant popularity in recent years, becoming
the state of the art in a variety of domains. In particular, deep reinforcement learning (DRL) …

[HTML][HTML] Verifying generalization in deep learning

G Amir, O Maayan, T Zelazny, G Katz… - … Conference on Computer …, 2023 - Springer
Deep neural networks (DNNs) are the workhorses of deep learning, which constitutes the
state of the art in numerous application domains. However, DNN-based decision rules are …

[HTML][HTML] Smart traffic shaping based on distributed reinforcement learning for multimedia streaming over 5G-VANET communication technology

AA Ahmed, SJ Malebary, W Ali, OM Barukab - Mathematics, 2023 - mdpi.com
Vehicles serve as mobile nodes in a high-mobility MANET technique known as the vehicular
ad hoc network (VANET), which is used in urban and rural areas as well as on highways …

[PDF][PDF] Formally Explaining Neural Networks within Reactive Systems

S Bassan, G Amir, D Corsi, I Refaeli… - 2023 Formal Methods in …, 2023 - library.oapen.org
Deep neural networks (DNNs) are increasingly being used as controllers in reactive
systems. However, DNNs are highly opaque, which renders it difficult to explain and justify …

veriFIRE: verifying an industrial, learning-based wildfire detection system

G Amir, Z Freund, G Katz, E Mandelbaum… - … Symposium on Formal …, 2023 - Springer
In this short paper, we present our ongoing work on the veriFIRE project—a collaboration
between industry and academia, aimed at using verification for increasing the reliability of a …

[HTML][HTML] A reinforcement learning-based routing for real-time multimedia traffic transmission over software-defined networking

M Al Jameel, T Kanakis, S Turner, A Al-Sherbaz… - Electronics, 2022 - mdpi.com
Recently, video streaming services consumption has grown massively and is foreseen to
increase even more in the future. The tremendous traffic usage has negatively impacted the …

Estimation of the quality of experience during video streaming from facial expression and gaze direction

S Porcu, A Floris, JN Voigt-Antons… - IEEE Transactions on …, 2020 - ieeexplore.ieee.org
This article investigates the possibility to estimate the perceived Quality of Experience (QoE)
automatically and unobtrusively by analyzing the face of the consumer of video streaming …

[HTML][HTML] Deep reinforcement learning-based approach for video streaming: Dynamic adaptive video streaming over HTTP

N Souane, M Bourenane, Y Douga - Applied Sciences, 2023 - mdpi.com
Dynamic adaptive video streaming over HTTP (DASH) plays a crucial role in delivering
video across networks. Traditional adaptive bitrate (ABR) algorithms adjust video segment …

QoE Aware Video Streaming Scheme Utilizing GRU-based Bandwidth Prediction And Adaptive Bitrate Selection For Heterogeneous Mobile Networks

TV Huu, TNT Huong, HC Le - IEEE Access, 2024 - ieeexplore.ieee.org
Nowadays, video streaming has become a popular form of multimedia for communication
and entertainment. The rapid traffic explosion spurred by the development of emerging …