GitHub repository: marcosaelzer/NN2NFA
Primary language: Python
Description: Implementation of the algorithm proposed in 'Verifying Output Reachability of Neural Networks Using Finite Automata'