TU Graz - SAL Dependable Embedded Systems Lab (DES Lab)

All

8 repositories

AALpy
Public
An Automata Learning Library Written in Python
python automata markov-chain finite-state-machine kv markov-decision-processes dfa context-free-grammar model-based-testing test-case-generation
Python
•
Other
•26•168•1•2•Updated Dec 3, 2024Dec 3, 2024
Clustering_RNN_hidden_state_space
Public
An examination of the clustering hypothesis (do the RNN hidden state vectors form clusters)
TeX
•
Other
•0•1•0•0•Updated Jun 14, 2024Jun 14, 2024
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"
Python
•0•1•0•0•Updated Jan 8, 2024Jan 8, 2024
Q-learning-under-Partial-Observability
Public
Python
•0•0•0•0•Updated Jun 1, 2023Jun 1, 2023
Automata-Learning-meets-Shielding
Public
Shielding RL agent based on model learned by automata learning
Python
•
MIT License
•1•3•0•0•Updated Jun 2, 2022Jun 2, 2022
Extracting-FSM-From-RNNs
Public
Black-box extraction of Finite-State Machines from RNNs.
lstm gru explainable-ai reccurent-neural-network black-box-testing automata-learning
Python
•
MIT License
•1•18•0•0•Updated Apr 14, 2022Apr 14, 2022
Automata-Learning-Based-Diagnosis
Public
Enabling Model-Based Diagnosis and Failure Model Generation with Active Automata Learning
automata-learning fault-model failure-modes model-based-diagnosis
Python
•
MIT License
•0•7•0•0•Updated Dec 13, 2021Dec 13, 2021
Learning-Based-Fuzzing
Public
Using automata learning to mine models used for fuzzing of statefull systems
Java
•
Other
•1•24•0•0•Updated Apr 13, 2021Apr 13, 2021