Configuring Safe Spiking Neural Controllers for Cyber-Physical Systems through Formal Verification. - Arkaprava Gupta; Sumana Ghosh; Ansuman Banerjee; Swarup Kumar Mohalik (MEMOCODE, 2024)

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 (COMSNETS, 2025)