Arkaprava Gupta

According to our database, Arkaprava Gupta authored at least 2 papers between 2024 and 2025.

Collaborative distances:

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

2025

Controllers for Edge-Cloud Cyber-Physical Systems.

Tingan Zhu, Prateek Ganguli, Arkaprava Gupta, Shengjie Xu, Luigi Capogrosso, Enrico Fraccaroli, Marco Cristani, Franco Fummi, Samarjit Chakraborty

Proceedings of the 17th International Conference on COMmunication Systems and NETworks, 2025

2024

Configuring Safe Spiking Neural Controllers for Cyber-Physical Systems through Formal Verification.

Arkaprava Gupta, Sumana Ghosh, Ansuman Banerjee, Swarup Kumar Mohalik

Proceedings of the 22nd ACM-IEEE International Symposium on Formal Methods and Models for System Design, 2024