Hashemi, Vahid

1. DeepAbstract: Neural Network Abstraction for Accelerating Verification
   2020/06/24 by Ashok, Pranav, Hashemi, Vahid, Křetínský, Jan +1 · 2 citations
   #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG)
2. Runtime Monitoring for Out-of-Distribution Detection in Object Detection Neural Networks
   2022/12/15 by Hashemi, Vahid, Křetínsky, Jan, Rieder, Sabine +1 · 2 citations
   #FOS: Computer and information sciences #Machine Learning (cs.LG)
3. Multi-objective Robust Strategy Synthesis for Interval Markov Decision Processes
   2017/06/21 by Hahn, Ernst Moritz, Hashemi, Vahid, Hermanns, Holger +2 · 1 citation
   #D.2.4 #F.1.1 #FOS: Electrical engineering #G.1.6 #G.3 #Systems and Control (eess.SY) #electronic engineering #information engineering
4. Causal Analysis for Robust Interpretability of Neural Networks
   2023/05/15 by Ahmad, Ola, Bereux, Nicolas, Baret, Loïc +2 · 2 citations
   #FOS: Computer and information sciences #Machine Learning (cs.LG) #Methodology (stat.ME)
5. Towards Safety Verification of Direct Perception Neural Networks
   2019/04/09 by Chih‐Hong Cheng, Cheng, Chih-Hong, Chung-Hao Huang +5 · 1 citation
   Computer Science · Engineering · #Adversarial Robustness in Machine Learning #FOS: Computer and information sciences #Integrated Circuits and Semiconductor Failure Analysis #Machine Learning (cs.LG) #Physical Unclonable Functions (PUFs) and Hardware Security #Software Engineering (cs.SE)