PruVer: Verification Assisted Pruning for Deep Reinforcement Learning

B Gangopadhyay, P Dasgupta, S Dey - Pacific Rim International …, 2023 - Springer
Abstract Active deployment of Deep Reinforcement Learning (DRL) based controllers on
safety-critical embedded platforms require model compaction. Neural pruning has been …