3 papers
cs.NI2026
FORSLICE: An Automated Formal Framework for Efficient PRB-Allocation towards Slicing Multiple Network Services
Debarpita Banerjee, Sumana Ghosh, Snigdha Das +2
Network slicing is a modern 5G technology that provides efficient network experience for diverse use cases. It is a technique for partitioning a single physical network infrastruct…
eess.SY2026
Precision Switching Schedule for Efficient Control Implementations
Debarpita Banerjee, Debasmita Lohar, Sumana Ghosh
Modern cyber-physical systems, such as automotive control, rely on feedback controllers that regulate the system towards desired a setpoint. In practice, however, the controller mu…
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…