An Abstraction-based Method to Check Multi-Agent Deep Reinforcement-Learning Behaviors. - Pierre El Mqirmi; Francesco Belardinelli; Borja G. León (AAMAS, 2021)

An Abstraction-based Method to Verify Multi-Agent Deep Reinforcement-Learning Behaviours. - Pierre El Mqirmi; Francesco Belardinelli; Borja G. León (CoRR, 2021)