ArticleEntropy (Basel, Switzerland)2025

PRG4CNN: A Probabilistic Model Checking-Driven Robustness Guarantee Framework for CNNs.

Yang Liu et al.PubMed ↗Full text ↗Publisher ↗

No numbers read from the abstract.