2 papers
cs.LO2026
MPBMC: Multi-Property Bounded Model Checking with GNN-guided Clustering
Soumik Guha Roy, Sumana Ghosh, Ansuman Banerjee +2
Formal verification of designs with multiple properties has been a long-standing challenge for the verification research community. The task of coming up with an effective strategy…
cs.ET2024
Configuring Safe Spiking Neural Controllers for Cyber-Physical Systems through Formal Verification
Arkaprava Gupta, Sumana Ghosh, Ansuman Banerjee +1
Spiking Neural Networks (SNNs) are a subclass of neuromorphic models that have great potential to be used as controllers in Cyber-Physical Systems (CPSs) due to their energy effici…