TY  - RPRT
TI  - MPBMC: Multi-Property Bounded Model Checking with GNN-guided Clustering
AU  - Soumik Guha Roy
AU  - Sumana Ghosh
AU  - Ansuman Banerjee
AU  - Raj Kumar Gajavelly
AU  - Sudhakar Surendran
PY  - 2026
UR  - https://arxiv.org/abs/2603.04450
ID  - 2603.04450
ER  -