Skip to content
@DES-Lab

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.

Popular repositories Loading

  1. AALpy AALpy Public

    An Automata Learning Library Written in Python

    Python 168 26

  2. Learning-Based-Fuzzing Learning-Based-Fuzzing Public

    Using automata learning to mine models used for fuzzing of statefull systems

    Java 24 1

  3. Extracting-FSM-From-RNNs Extracting-FSM-From-RNNs Public

    Black-box extraction of Finite-State Machines from RNNs.

    Python 18 1

  4. Automata-Learning-Based-Diagnosis Automata-Learning-Based-Diagnosis Public

    Enabling Model-Based Diagnosis and Failure Model Generation with Active Automata Learning

    Python 7

  5. Automata-Learning-meets-Shielding Automata-Learning-meets-Shielding Public

    Shielding RL agent based on model learned by automata learning

    Python 3 1

  6. Learning-Environment-Models-with-Continuous-Stochastic-Dynamics 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 1

Repositories

Showing 8 of 8 repositories
  • AALpy Public

    An Automata Learning Library Written in Python

    DES-Lab/AALpy’s past year of commit activity
    Python 168 26 1 2 Updated Dec 3, 2024
  • 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
    TeX 1 0 0 0 Updated Jun 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"

    DES-Lab/Learning-Environment-Models-with-Continuous-Stochastic-Dynamics’s past year of commit activity
    Python 1 0 0 0 Updated Jan 8, 2024
  • Q-learning-under-Partial-Observability Public
    DES-Lab/Q-learning-under-Partial-Observability’s past year of commit activity
    Python 0 0 0 0 Updated Jun 1, 2023
  • 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
    Python 3 MIT 1 0 0 Updated Jun 2, 2022
  • Extracting-FSM-From-RNNs Public

    Black-box extraction of Finite-State Machines from RNNs.

    DES-Lab/Extracting-FSM-From-RNNs’s past year of commit activity
    Python 18 MIT 1 0 0 Updated Apr 14, 2022
  • 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
    Python 7 MIT 0 0 0 Updated Dec 13, 2021
  • 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
    Java 24 1 0 0 Updated Apr 13, 2021

Top languages

Loading…

Most used topics

Loading…