{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"AALpy","owner":"DES-Lab","isFork":false,"description":"An Automata Learning Library Written in Python","allTopics":["automata","markov-chain","finite-state-machine","kv","markov-decision-processes","dfa","context-free-grammar","model-based-testing","test-case-generation","probabilistic-automata","automata-learning","pushdown-automata","lstar","equivalence-oracles","alergia","rpni"],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":1,"issueCount":1,"starsCount":154,"forksCount":20,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-19T12:45:41.369Z"}},{"type":"Public","name":"Clustering_RNN_hidden_state_space","owner":"DES-Lab","isFork":false,"description":"An examination of the clustering hypothesis (do the RNN hidden state vectors form clusters)","allTopics":[],"primaryLanguage":{"name":"TeX","color":"#3D6117"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-14T11:12:06.839Z"}},{"type":"Public","name":"Learning-Environment-Models-with-Continuous-Stochastic-Dynamics","owner":"DES-Lab","isFork":false,"description":"Code recquired to reproduce all experiments in \"Learning Environment Models with Continuous Stochastic Dynamics - with an Application to Deep RL Testing\"","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-01-08T11:39:27.891Z"}},{"type":"Public","name":"Q-learning-under-Partial-Observability","owner":"DES-Lab","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-06-01T12:49:43.834Z"}},{"type":"Public","name":"Automata-Learning-meets-Shielding","owner":"DES-Lab","isFork":false,"description":"Shielding RL agent based on model learned by automata learning","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":3,"forksCount":1,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-06-02T08:23:39.443Z"}},{"type":"Public","name":"Extracting-FSM-From-RNNs","owner":"DES-Lab","isFork":false,"description":"Black-box extraction of Finite-State Machines from RNNs.","allTopics":["lstm","gru","explainable-ai","reccurent-neural-network","black-box-testing","automata-learning"],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":17,"forksCount":1,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-04-14T15:38:07.596Z"}},{"type":"Public","name":"Automata-Learning-Based-Diagnosis","owner":"DES-Lab","isFork":false,"description":"Enabling Model-Based Diagnosis and Failure Model Generation with Active Automata Learning","allTopics":["automata-learning","fault-model","failure-modes","model-based-diagnosis"],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":5,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-12-13T13:38:04.016Z"}},{"type":"Public","name":"Learning-Based-Fuzzing","owner":"DES-Lab","isFork":false,"description":"Using automata learning to mine models used for fuzzing of statefull systems","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":22,"forksCount":0,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-04-13T18:37:57.537Z"}}],"repositoryCount":8,"userInfo":null,"searchable":true,"definitions":[],"typeFilters":[{"id":"all","text":"All"},{"id":"public","text":"Public"},{"id":"source","text":"Sources"},{"id":"fork","text":"Forks"},{"id":"archived","text":"Archived"},{"id":"template","text":"Templates"}],"compactMode":false},"title":"Repositories"}