PhD Student in Computer Science with focus on Active Automata Learning/ Formal Methods
-
Silicon Austria Labs and Graz University of Technology
- Graz, Austria
- https://emuskardin.github.io/
Block or Report
Block or report emuskardin
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePinned
-
-
DES-Lab/Extracting-FSM-From-RNNs
DES-Lab/Extracting-FSM-From-RNNs PublicBlack-box extraction of Finite-State Machines from RNNs.
-
DES-Lab/Learning-Based-Fuzzing
DES-Lab/Learning-Based-Fuzzing PublicUsing automata learning to mine models used for fuzzing of statefull systems
Java 22
-
Train-RNN-on-Regural-Langauges
Train-RNN-on-Regural-Langauges PublicTrain RNNs to recognize regular languages.
Python 1
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.