{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"AALpy","owner":"DES-Lab","isFork":false,"description":"An Automata Learning Library Written in Python","topicNames":["automata","markov-chain","finite-state-machine","kv","markov-decision-processes","dfa","context-free-grammar","model-based-testing","test-case-generation","probabilistic-automata"],"topicsNotShown":6,"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":2,"starsCount":152,"forksCount":20,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-09T07:31:08.369Z"}},{"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\"","topicNames":[],"topicsNotShown":0,"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":"","topicNames":[],"topicsNotShown":0,"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":"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)","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-05-26T13:31:03.839Z"}},{"type":"Public","name":"Automata-Learning-meets-Shielding","owner":"DES-Lab","isFork":false,"description":"Shielding RL agent based on model learned by automata learning","topicNames":[],"topicsNotShown":0,"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.","topicNames":["lstm","gru","explainable-ai","reccurent-neural-network","black-box-testing","automata-learning"],"topicsNotShown":0,"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","topicNames":["automata-learning","fault-model","failure-modes","model-based-diagnosis"],"topicsNotShown":0,"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","topicNames":[],"topicsNotShown":0,"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"}