An approach to reachability analysis for feed-forward ReLU neural networks. - Alessio Lomuscio; Lalit Maganti (CoRR, 2017)

Reachability Analysis for Neural Agent-Environment Systems. - Michael Akintunde; Alessio Lomuscio; Lalit Maganti; Edoardo Pirovano (KR, 2018)