Reinforcement Learning Guided Boundary Activity Passing for Incremental Bounded Model Checking

@inproceedings{pub17660,
    author = {



Bhattacharyya, Sutirtha
 and 



Jha, Chandan
 and 



Drechsler, Rolf
},
    title = {Reinforcement Learning Guided Boundary Activity Passing for Incremental Bounded Model Checking},
    booktitle = {8th ACM/IEEE International Symposium on Machine Learning for CAD. 

ACM/IEEE Workshop on Machine Learning for CAD (MLCAD-2026), September 7-9, Seogwipo, North Korea
},
    year = {2026}
}