TU Graz - SAL Dependable Embedded Systems Lab (DES Lab)
In the DES Lab we conduct fundamental research in order to ensure the dependability of computer-based systems.
Pinned Repositories
AALpy
An Automata Learning Library Written in Python
Automata-Learning-Based-Diagnosis
Enabling Model-Based Diagnosis and Failure Model Generation with Active Automata Learning
Automata-Learning-meets-Shielding
Shielding RL agent based on model learned by automata learning
Clustering_RNN_hidden_state_space
An examination of the clustering hypothesis (do the RNN hidden state vectors form clusters)
Extracting-FSM-From-RNNs
Black-box extraction of Finite-State Machines from RNNs.
Learning-Based-Fuzzing
Using automata learning to mine models used for fuzzing of statefull systems
Learning-Environment-Models-with-Continuous-Stochastic-Dynamics
Code recquired to reproduce all experiments in "Learning Environment Models with Continuous Stochastic Dynamics - with an Application to Deep RL Testing"
Q-learning-under-Partial-Observability
TU Graz - SAL Dependable Embedded Systems Lab (DES Lab)'s Repositories
DES-Lab/AALpy
An Automata Learning Library Written in Python
DES-Lab/Learning-Based-Fuzzing
Using automata learning to mine models used for fuzzing of statefull systems
DES-Lab/Extracting-FSM-From-RNNs
Black-box extraction of Finite-State Machines from RNNs.
DES-Lab/Automata-Learning-Based-Diagnosis
Enabling Model-Based Diagnosis and Failure Model Generation with Active Automata Learning
DES-Lab/Automata-Learning-meets-Shielding
Shielding RL agent based on model learned by automata learning
DES-Lab/Clustering_RNN_hidden_state_space
An examination of the clustering hypothesis (do the RNN hidden state vectors form clusters)
DES-Lab/Learning-Environment-Models-with-Continuous-Stochastic-Dynamics
Code recquired to reproduce all experiments in "Learning Environment Models with Continuous Stochastic Dynamics - with an Application to Deep RL Testing"
DES-Lab/Q-learning-under-Partial-Observability