Vafali Soltanmuradov

According to our database, Vafali Soltanmuradov authored at least 5 papers between 2024 and 2026.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2026

StabilEdge, Formal Verification of Edge AI Applications.

Luca Lazzaroni, Riccardo Berta, Vafali Soltanmuradov, David Martín Gómez, Francesco Bellotti

IEEE Access, 2026

2025

Comparing Complete and Incomplete Formal Verification in Deep Learning-Based Object Detection.

Vafali Soltanmuradov, Francesco Bellotti, Riccardo Berta, David Martín Gómez, Luca Lazzaroni

Proceedings of the Applications in Electronics Pervading Industry, Environment and Society, 2025

TruthSentry: A Scalable Framework for Fake News Detection via Advanced NLP and Ensemble Learning.

Afifa Hussain, Nooruddin Noonari, Kaleem Arshid, Nizamuddin Maitlo, Vafali Soltanmuradov

Proceedings of the Applications in Electronics Pervading Industry, Environment and Society, 2025

2024

Setting Up a Lightweight Simulation Environment for Automated Driving Dataset Collection.

Luca Forneris, Francesco Bellotti, Riccardo Berta, Marianna Cossu, Matteo Fresta, Raziye Rezaieamale, Hadise Rojhan, Vafali Soltanmuradov, Fabio Tango, Luca Lazzaroni

Proceedings of the Applications in Electronics Pervading Industry, Environment and Society, 2024

Robustness Verification of a Reinforcement Learning-Based Agent for Automated Car Parking.

Francesco Bellotti, Riccardo Berta, Vafali Soltanmuradov, David Martín Gómez, Akshay Dhonthi, Vahid Hashemi, Luca Lazzaroni

Proceedings of the Applications in Electronics Pervading Industry, Environment and Society, 2024