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

Categorizing methods for integrating machine learning with executable specifications

D Harel, R Yerushalmi, A Marron, A Elyasaf - Science China Information …, 2024 - Springer
Deep learning (DL), which includes deep reinforcement learning (DRL), holds great promise
for carrying out real-world tasks that human minds seem to cope with quite readily. That …

Analyzing Adversarial Inputs in Deep Reinforcement Learning

D Corsi, G Amir, G Katz, A Farinelli - arXiv preprint arXiv:2402.05284, 2024 - arxiv.org
In recent years, Deep Reinforcement Learning (DRL) has become a popular paradigm in
machine learning due to its successful applications to real-world and complex systems …

[HTML][HTML] BPPy: Behavioral Programming in Python

T Yaacov - SoftwareX, 2023 - Elsevier
This paper presents BPpy, a novel framework for behavioral programming (BP) in Python.
Designed with a flexible architecture, BPpy is crafted for easy integration with various Python …

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 …

[PDF][PDF] Verification-Aided Deep Ensemble Selection.

G Amir, T Zelazny, G Katz, M Schapira - FMCAD, 2022 - library.oapen.org
Deep neural networks (DNNs) have become the technology of choice for realizing a variety
of complex tasks. However, as highlighted by many recent studies, even an imperceptible …

Advancements in Deep Reinforcement Learning and Inverse Reinforcement Learning for Robotic Manipulation: Towards Trustworthy, Interpretable, and Explainable …

R Ozalp, A Ucar, C Guzelis - IEEE Access, 2024 - ieeexplore.ieee.org
This article presents a literature review of the past five years of studies using Deep
Reinforcement Learning (DRL) and Inverse Reinforcement Learning (IRL) in robotic …

Shield Synthesis for LTL Modulo Theories

A Rodriguez, G Amir, D Corsi, C Sanchez… - arXiv preprint arXiv …, 2024 - arxiv.org
In recent years, Machine Learning (ML) models have achieved remarkable success in
various domains. However, these models also tend to demonstrate unsafe behaviors …

安全强化学习综述

王雪松, 王荣荣, 程玉虎 - 自动化学报, 2023 - aas.net.cn
强化学习(Reinforcement learning, RL) 在围棋, 视频游戏, 导航, 推荐系统等领域均取得了巨大
成功. 然而, 许多强化学习算法仍然无法直接移植到真实物理环境中. 这是因为在模拟场景下智能 …

Enhancing deep learning with scenario-based override rules: A case study

A Ashrov, G Katz - arXiv preprint arXiv:2301.08114, 2023 - arxiv.org
Deep neural networks (DNNs) have become a crucial instrument in the software
development toolkit, due to their ability to efficiently solve complex problems. Nevertheless …