Learning Finite State Models from Recurrent Neural Networks
Edi Muškardin, Bernhard K. Aichernig, Ingo Pill, Martin Tappler
Topics & Concepts
Finite-state machineRecurrent neural networkComputer scienceArtificial intelligenceAutomatonClassifier (UML)GeneralizationMachine learningArtificial neural networkCounterexampleAlgorithmMathematicsMathematical analysisDiscrete mathematicsMachine Learning and AlgorithmsAdversarial Robustness in Machine LearningSoftware Testing and Debugging Techniques