Browsing Master theses by Author "Skarstein, Eivind Anton Sætre"
Now showing items 1-1 of 1
-
Building a finite state automaton for physical processes using queries and counterexamples on long short-term memory models
Skarstein, Eivind Anton Sætre (Master thesis, 2023-06-01)Most neural networks (NN) are commonly used as black-box functions. A network takes an input and produces an output, without the user knowing what rules and system dynamics have produced the specific output. In some ...