automata-learning
There are 27 repositories under automata-learning topic.
DES-Lab/AALpy
An Automata Learning Library Written in Python
steynvl/inferrer
An automata learning library written in Python.
LearnLib/alex
Automata Learning EXperience (ALEX) - A free and open-source web application for testing and learning web applications via active automata learning
ErnestThePoet/Automata-Playground
在线可视化地设计、运行自动机，支持DFA和TM Feel free to create & run your DFA and TM🍩Based on React+Next.js+Mobx+Vis Network
DES-Lab/Extracting-FSM-From-RNNs
Black-box extraction of Finite-State Machines from RNNs.
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).
ZigRazor/CXXAutomata
A C++ library for simulating automata and Turing machines
andrewli77/DISC
This repository contains an implementation of DISC, an algorithm for learning DFAs for multiclass sequence classification.
DES-Lab/Automata-Learning-Based-Diagnosis
Enabling Model-Based Diagnosis and Failure Model Generation with Active Automata Learning
sherwinshen/TAs-learning-site
🏆 时间自动机模型学习工具站点（Timed Automata）
lucaslise/reCreator
Uma ferramenta para criar e validar Expressões Regulares
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.]
milahu/z3gi
Grammatical inference using the Z3 SMT solver
MasWag/FalCAuN
Falsification of CPS via Automata Learning
cipollone/trace-dfa
Finds the minimum DFA (automaton) from a set of sequences in input
emuskardin/Train-RNN-on-Regural-Langauges
Train RNNs to recognize regular languages.
mkakh/Rust-Lstar
Angluin's L* Algorithm, implemeneted in Rust
anserwaseem/automadeasy
Learning and teaching tool for Theory of Automata
anserwaseem/automadeasy-videos
videos for automadeasy.com
felix-e-h-p/ag-reasoning-l-star
Implementation of the L* (L Star) based Assume Guarantee Reasoning framework - dynamic DFA input as specification
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.
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.
Thrashy190/automatix
Automatix is software for experimenting with formal languages topics like AFD and AFnD
learnaut24/learnaut24.github.io
Website for the LearnAut 2024 workshop, co-located with ICALP/LICS/FSCD 2024 in Tallinn, Estonia.
MasWag/FalCAuN-ARCH-COMP
Scripts for ARCH-COMP falsification track with FalCAuN
nicholasRenninger/carFollowingRTISandbox
A sandbox for personal experiments with the carFollowingRTI repository
Skidis17/Automate
Ce dépôt est consacré au projet du theorie des langages sur les Automates