Explainable ai and reinforcement learning—a systematic review of current approaches and trends

L Wells, T Bednarz - Frontiers in artificial intelligence, 2021 - frontiersin.org
Research into Explainable Artificial Intelligence (XAI) has been increasing in recent years as
a response to the need for increased transparency and trust in AI. This is particularly …

Deep reinforcement learning verification: a survey

M Landers, A Doryab - ACM Computing Surveys, 2023 - dl.acm.org
Deep reinforcement learning (DRL) has proven capable of superhuman performance on
many complex tasks. To achieve this success, DRL algorithms train a decision-making agent …

The marabou framework for verification and analysis of deep neural networks

G Katz, DA Huang, D Ibeling, K Julian… - … Aided Verification: 31st …, 2019 - Springer
Deep neural networks are revolutionizing the way complex systems are designed.
Consequently, there is a pressing need for tools and techniques for network analysis and …

An abstraction-based framework for neural network verification

YY Elboher, J Gottschlich, G Katz - … , CAV 2020, Los Angeles, CA, USA …, 2020 - Springer
Deep neural networks are increasingly being used as controllers for safety-critical systems.
Because neural networks are opaque, certifying their correctness is a significant challenge …

Genet: Automatic curriculum generation for learning adaptation in networking

Z **a, Y Zhou, FY Yan, J Jiang - … of the ACM SIGCOMM 2022 Conference, 2022 - dl.acm.org
As deep reinforcement learning (RL) showcases its strengths in networking, its pitfalls are
also coming to the public's attention. Training on a wide range of network environments …

Explora: Ai/ml explainability for the open ran

C Fiandrino, L Bonati, S D'Oro, M Polese… - Proceedings of the …, 2023 - dl.acm.org
The Open Radio Access Network (RAN) paradigm is transforming cellular networks into a
system of disaggregated, virtualized, and software-based components. These self-optimize …

Interpreting deep learning-based networking systems

Z Meng, M Wang, J Bai, M Xu, H Mao… - Proceedings of the Annual …, 2020 - dl.acm.org
While many deep learning (DL)-based networking systems have demonstrated superior
performance, the underlying Deep Neural Networks (DNNs) remain blackboxes and stay …

Verifying learning-augmented systems

T Eliyahu, Y Kazak, G Katz, M Schapira - Proceedings of the 2021 ACM …, 2021 - dl.acm.org
The application of deep reinforcement learning (DRL) to computer and networked systems
has recently gained significant popularity. However, the obscurity of decisions by DRL …

A survey on explainable reinforcement learning: Concepts, algorithms, challenges

Y Qing, S Liu, J Song, H Wang, M Song - arxiv preprint arxiv:2211.06665, 2022 - arxiv.org
Reinforcement Learning (RL) is a popular machine learning paradigm where intelligent
agents interact with the environment to fulfill a long-term goal. Driven by the resurgence of …

[PDF][PDF] Minimal Modifications of Deep Neural Networks using Verification.

B Goldberger, G Katz, Y Adi, J Keshet - LPAR, 2020 - easychair.org
Deep neural networks (DNNs) are revolutionizing the way complex systems are designed,
developed and maintained. As part of the life cycle of DNN-based systems, there is often a …