Model Checking on Feed Forward (FF) Artificial Neural Network (ANN)

Job ID: 35970440

Budget: $30 – $250 USD

Model Checking on Feed Forward (FF) Artificial Neural Network (ANN) for digit recognition.
. In PRISM tool
. CTMC
. PCTL

Related categories: Computer Science Software Engineering