TY  - RPRT
TI  - Tightening the Evaluation of PAC Bounds Using Formal Verification Results
AU  - Thomas Walker
AU  - Alessio Lomuscio
PY  - 2024
UR  - https://arxiv.org/abs/2407.20122
ID  - 2407.20122
ER  -