Efficient LTL Model Checking of Deep Reinforcement Learning Systems using Policy Extraction.

Peng Jin, Yang Wang, Min Zhang

Browse the full SEKE paper archive.