Vahid Hashemi

Interval Markov Decision Processes with Multiple Objectives

Ernst Moritz Hahn, Vahid Hashemi, Holger Hermanns et al. · ACM Transactions on Modeling and Computer Simulation · 2019 · 24 citations · Full text

Business, Mathematics, Algorithms +13

Towards Safety Verification of Direct Perception Neural Networks

Chih‐Hong Cheng, Chung-Hao Huang, Thomas Brunner et al. · 2020 · 16 citations

Computing, Autonomous Systems, Computer Science +17

Enhancing agricultural land valuation in land consolidation projects through cooperative game theory and genetic algorithm optimization

Vahid Hashemi, Mohammad Taleai, Somaie Abolhasani · Habitat International · 2024 · 13 citations

Agriculture, Agricultural Economics, Agricultural Engineering +17

Deciding probabilistic automata weak bisimulation: theory and practice

Luis María Ferrer Fioriti, Vahid Hashemi, Holger Hermanns et al. · Formal Aspects of Computing · 2016 · 11 citations

Computing, Computer Science, Formal Methods +11

Causal Analysis for Robust Interpretability of Neural Networks

Ola Ahmad, Nicolas Béreux, Loïc Baret et al. · 2024 · 11 citations

Computing, Computer Science, Causal Inference +16