Arkaprava Gupta

According to our database, Arkaprava Gupta authored at least 1 paper in 2024.

Collaborative distances:

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

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