automata-learning

There are 2 repositories under automata-learning topic.

AALpy
DES-Lab / AALpy
An Automata Learning Library Written in Python
automata automata-learning markov-decision-processes lstar finite-state-machine equivalence-oracles model-based-testing dfa alergia markov-chain probabilistic-automata test-case-generation rpni kv context-free-grammar pushdown-automata model-learning model-mining python
Language:Python 157
steynvl / inferrer
An automata learning library written in Python.
automata-learning python
Language:Python 47
LearnLib / alex
Automata Learning EXperience (ALEX) - A free and open-source web application for testing and learning web applications via active automata learning
java automata-learning-algorithms web-application machine-learning automata-learning selenium learnlib
Language:Java 34
ErnestThePoet / Automata-Playground
在线可视化地设计、运行自动机，支持DFA和TM Feel free to create & run your DFA and TM🍩Based on React+Next.js+Mobx+Vis Network
automata automata-and-formal-languages automata-learning automata-machines-simulator automata-simulator automata-theory dfa dfa-simulator nextjs react turing-machine turing-machine-simulator
Language:JavaScript 19
DES-Lab / Extracting-FSM-From-RNNs
Black-box extraction of Finite-State Machines from RNNs.
lstm gru automata-learning black-box-testing reccurent-neural-network explainable-ai
Language:Python 17
ertsiger / induction-subgoal-automata-rl
Code for the papers "Induction of Subgoal Automata for Reinforcement Learning" (AAAI-20) and "Induction and Exploitation of Subgoal Automata for Reinforcement Learning" (JAIR).
automata-learning inductive-logic-programming reinforcement-learning
Language:Python 8
DISC
andrewli77 / DISC
This repository contains an implementation of DISC, an algorithm for learning DFAs for multiclass sequence classification.
interpretable-machine-learning interpretable-ml interpretable-ai dfa-construction dfa automata-learning sequence-classification early-detection
Language:Python 7
lucaslise / reCreator
Uma ferramenta para criar e validar Expressões Regulares
regular-expression-engine regular-expressions automata-machines-simulator automata automata-learning automatas finite-state-machine deterministic-finite-automata nondeterministic-finite-automata
Language:JavaScript 6
sherwinshen / TAs-learning-site
🏆 时间自动机模型学习工具站点（Timed Automata）
timed-automata active-learning automata-learning model-learning
Language:Python 6
ZigRazor / CXXAutomata
A C++ library for simulating automata and Turing machines
automata automata-theory automata-simulator automatas automata-learning automata-machines-simulator automata-processor automaton turing-machine deterministic-finite-automaton deterministic-turing-machine non-deterministic-finite-automaton finite-automaton non-deterministic-turing-machine pushdown-automaton dpda cpp cpp-lib cpp-library hacktoberfest
Language:C++ 6
DES-Lab / Automata-Learning-Based-Diagnosis
Enabling Model-Based Diagnosis and Failure Model Generation with Active Automata Learning
automata-learning model-based-diagnosis failure-modes fault-model
Language:Python 5
hycinth22 / ContextFreeGrammar-to-NPDA
[“形式语言与自动机”实验：给定任意上下文无关文法，将其转换为Greibach范式，再转换为NPDA，并能验证给定句子是否属于该文法。][Given an context-free grammar, convert it to Greibach paradigm, then to NPDA(i.e. Non-deterministic PushDown Automaton), and verify whether any sentence belongs to the grammar.]
automata-learning context-free-grammar greibach automaton
Language:C++ 5
cipollone / trace-dfa
Finds the minimum DFA (automaton) from a set of sequences in input
dfa dfa-minimization xes automata-theory automata automata-learning graph-visualization latex
Language:Java 3
MasWag / FalCAuN
Falsification of CPS via Automata Learning
simulink testing-tools model-based-testing automata-learning
Language:Jupyter Notebook 3
milahu / z3gi
Grammatical inference using the Z3 SMT solver
automata-learning grammatical-inference grammar-induction-algorithms model-learning dfa-learning
Language:Python 3
emuskardin / Train-RNN-on-Regural-Langauges
Train RNNs to recognize regular languages.
regular-language rnn automata-learning gru lstm pytorch
Language:Python 1
anserwaseem / automadeasy
A learning and teaching tool for Theory of Automata
automata automata-learning automata-simulator react typescript automadeasy
Language:TypeScript 0
anserwaseem / automadeasy-videos
videos for automadeasy.com
automata automata-generators automata-learning automata-simulator
0
ikhsansdqq / TubesTBA
This project provides a strategy for converting a CFG "If-Else" condition selection that is compatible with both Go and Python programming languages.
automata-learning cfg turing-machine
Language:Python 0
Theofilusarifin / Aksara-Document-Transliteration-Using-Object-Detection-and-Automata
Explore Aksara Jawa effortlessly with YOLOv8 and Finite State Automata-powered Transliteration that i developed. Achieving high metrics (Train: 0.967/0.922/0.961, Validation: 0.966/0.924/0.961), our Streamlit interface ensures easy input and accurate output. Unlock precision and simplicity in Aksara Jawa to Latin conversion.
automata-learning deep-learning deployment object-detection streamlit
Language:Python 0
Thrashy190 / automatix
Automatix is software for experimenting with formal languages topics like AFD and AFnD
automata automata-and-formal-languages automata-learning automata-simulator automata-theory formal-languages nextjs tailwind tailwindcss typescript
Language:TypeScript 0
felix-e-h-p / ag-reasoning-l-star
Implementation of the L* (L Star) based Assume Guarantee Reasoning framework - dynamic DFA input as specification
active-learning automata-learning formal-verification formal-verification-methods lstar verification assume-guarantee-reasoning
Language:Python
MasWag / FalCAuN-ARCH-COMP
Scripts for ARCH-COMP falsification track with FalCAuN
test simulink-toolbox matlab search-based-software-testing automata-learning
Language:Shell
nicholasRenninger / carFollowingRTISandbox
A sandbox for personal experiments with the carFollowingRTI repository
autonomous-driving hybrid-control machine-learning automata-learning timed-automata
Language:Shell
Skidis17 / Automate
Ce dépôt est consacré au projet du theorie des langages sur les Automates
automata automata-learning automata-theory
Language:C

automata-learning

DES-Lab / AALpy

steynvl / inferrer

LearnLib / alex

ErnestThePoet / Automata-Playground

DES-Lab / Extracting-FSM-From-RNNs

ertsiger / induction-subgoal-automata-rl

andrewli77 / DISC

lucaslise / reCreator

sherwinshen / TAs-learning-site

ZigRazor / CXXAutomata

DES-Lab / Automata-Learning-Based-Diagnosis

hycinth22 / ContextFreeGrammar-to-NPDA

cipollone / trace-dfa

MasWag / FalCAuN

milahu / z3gi

emuskardin / Train-RNN-on-Regural-Langauges

anserwaseem / automadeasy

anserwaseem / automadeasy-videos

ikhsansdqq / TubesTBA

Theofilusarifin / Aksara-Document-Transliteration-Using-Object-Detection-and-Automata

Thrashy190 / automatix

felix-e-h-p / ag-reasoning-l-star

MasWag / FalCAuN-ARCH-COMP

nicholasRenninger / carFollowingRTISandbox

Skidis17 / Automate