TU Graz - SAL Dependable Embedded Systems Lab (DES Lab)
Popular repositoriesLoading
- Learning-Based-Fuzzing
Learning-Based-Fuzzing PublicUsing automata learning to mine models used for fuzzing of statefull systems
- Extracting-FSM-From-RNNs
Extracting-FSM-From-RNNs PublicBlack-box extraction of Finite-State Machines from RNNs.
- Automata-Learning-Based-Diagnosis
Automata-Learning-Based-Diagnosis PublicEnabling Model-Based Diagnosis and Failure Model Generation with Active Automata Learning
Python 7
- Automata-Learning-meets-Shielding
Automata-Learning-meets-Shielding PublicShielding RL agent based on model learned by automata learning
- Learning-Environment-Models-with-Continuous-Stochastic-Dynamics
Learning-Environment-Models-with-Continuous-Stochastic-Dynamics PublicCode recquired to reproduce all experiments in "Learning Environment Models with Continuous Stochastic Dynamics - with an Application to Deep RL Testing"
Python 1
Repositories
- Clustering_RNN_hidden_state_space Public
An examination of the clustering hypothesis (do the RNN hidden state vectors form clusters)
DES-Lab/Clustering_RNN_hidden_state_space’s past year of commit activity - Learning-Environment-Models-with-Continuous-Stochastic-Dynamics Public
Code recquired to reproduce all experiments in "Learning Environment Models with Continuous Stochastic Dynamics - with an Application to Deep RL Testing"
DES-Lab/Learning-Environment-Models-with-Continuous-Stochastic-Dynamics’s past year of commit activity - Automata-Learning-meets-Shielding Public
Shielding RL agent based on model learned by automata learning
DES-Lab/Automata-Learning-meets-Shielding’s past year of commit activity - Automata-Learning-Based-Diagnosis Public
Enabling Model-Based Diagnosis and Failure Model Generation with Active Automata Learning
DES-Lab/Automata-Learning-Based-Diagnosis’s past year of commit activity - Learning-Based-Fuzzing Public
Using automata learning to mine models used for fuzzing of statefull systems
DES-Lab/Learning-Based-Fuzzing’s past year of commit activity