APA (7th ed.) Citation

Gupta, A., Ghosh, S., Banerjee, A., & Mohalik, S. K. (2024). Configuring Safe Spiking Neural Controllers for Cyber-Physical Systems through Formal Verification.

Chicago Style (17th ed.) Citation

Gupta, Arkaprava, Sumana Ghosh, Ansuman Banerjee, and Swarup Kumar Mohalik. Configuring Safe Spiking Neural Controllers for Cyber-Physical Systems Through Formal Verification. 2024.

MLA (9th ed.) Citation

Gupta, Arkaprava, et al. Configuring Safe Spiking Neural Controllers for Cyber-Physical Systems Through Formal Verification. 2024.