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 …

Requirements engineering for machine learning: A review and reflection

Z Pei, L Liu, C Wang, J Wang - 2022 IEEE 30th International …, 2022 - ieeexplore.ieee.org
Today, many industrial processes are undergoing digital transformation, which often
requires the integration of well-understood domain models and state-of-the-art machine …

Towards formal XAI: formally approximate minimal explanations of neural networks

S Bassan, G Katz - International Conference on Tools and Algorithms for …, 2023 - Springer
With the rapid growth of machine learning, deep neural networks (DNNs) are now being
used in numerous domains. Unfortunately, DNNs are “black-boxes”, and cannot be …

Genet: automatic curriculum generation for learning adaptation in networking

Z Xia, 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 …

Computers Can Learn from the Heuristic Designs and Master Internet Congestion Control

CY Yen, S Abbasloo, HJ Chao - … of the ACM SIGCOMM 2023 Conference, 2023 - dl.acm.org
In this work, for the first time, we demonstrate that computers can automatically learn from
observing the heuristic efforts of the last four decades, stand on the shoulders of the existing …

[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) …

Marabou 2.0: A versatile formal analyzer of neural networks

H Wu, O Isac, A Zeljić, T Tagomori, M Daggitt… - … on Computer Aided …, 2024 - Springer
Marabou 2.0: A Versatile Formal Analyzer of Neural Networks | SpringerLink Skip to main
content Advertisement SpringerLink Account Menu Find a journal Publish with us Track your …

Verifying learning-based robotic navigation systems

G Amir, D Corsi, R Yerushalmi, L Marzari… - … Conference on Tools …, 2023 - Springer
Deep reinforcement learning (DRL) has become a dominant deep-learning paradigm for
tasks where complex policies are learned within reactive systems. Unfortunately, these …

An abstraction-refinement approach to verifying convolutional neural networks

M Ostrovsky, C Barrett, G Katz - International Symposium on Automated …, 2022 - Springer
Convolutional neural networks (CNNs) have achieved immense popularity in areas like
computer vision, image processing, speech proccessing, and many others. Unfortunately …

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 …