17 citations · 18 across the 2 of their papers we have counts for
2 papers
cs.LO2024★ 1 cited
Creating a Formally Verified Neural Network for Autonomous Navigation: An Experience Report
Syed Ali Asadullah Bukhari, Thomas Flinkow, Medet Inkarbekov +2
The increased reliance of self-driving vehicles on neural networks opens up the challenge of their verification. In this paper we present an experience report, describing a case st…
cs.HC2023★ 17 cited
Visualization of AI Systems in Virtual Reality: A Comprehensive Review
Medet Inkarbekov, Rosemary Monahan, Barak A. Pearlmutter
This study provides a comprehensive review of the utilization of Virtual Reality (VR) for visualizing Artificial Intelligence (AI) systems, drawing on 18 selected studies. The resu…