1 citations · 1 across the 3 of their papers we have counts for
Showing cs.SEShow all
2 papers · 1 filter
cs.SE2025
Exploring and Evaluating Interplays of BPpy with Deep Reinforcement Learning and Formal Methods
Tom Yaacov, Gera Weiss, Adiel Ashrov +2
We explore and evaluate the interactions between Behavioral Programming (BP) and a range of Artificial Intelligence (AI) and Formal Methods (FM) techniques. Our goal is to demonstr…
cs.SE2023
Enhancing Deep Learning with Scenario-Based Override Rules: a Case Study
Adiel Ashrov, Guy Katz
Deep neural networks (DNNs) have become a crucial instrument in the software development toolkit, due to their ability to efficiently solve complex problems. Nevertheless, DNNs are…