TY  - RPRT
TI  - From Policy to Logic for Efficient and Interpretable Coverage Assessment
AU  - Rhitabrat Pokharel
AU  - Hamid Reza Hassanzadeh
AU  - Ameeta Agrawal
PY  - 2026
UR  - https://arxiv.org/abs/2601.01266
ID  - 2601.01266
ER  -