Login / Signup
Tightening the Evaluation of PAC Bounds Using Formal Verification Results.
Thomas Walker
Alessio Lomuscio
Published in:
CoRR (2024)
Keyphrases
</>
formal verification
upper bound
model checking
vc dimension
lower bound
model checker
automated verification
mistake bound
symbolic model checking
pac bayesian
error bounds
expert systems
sample complexity
distribution free