Topic: "automata-learning"
DES-Lab/AALpy
An Automata Learning Library Written in Python
Language: Python - Size: 25.6 MB - Last synced at: 6 days ago - Pushed at: 7 days ago - Stars: 182 - Forks: 29
LearnLib/alex
Automata Learning EXperience (ALEX) - A free and open-source web application for testing and learning web applications via active automata learning
Language: Java - Size: 104 MB - Last synced at: 7 days ago - Pushed at: 10 months ago - Stars: 37 - Forks: 5
steynvl/inferrer
An automata learning library written in Python.
Language: Python - Size: 564 KB - Last synced at: over 2 years ago - Pushed at: over 5 years ago - Stars: 36 - Forks: 4
ErnestThePoet/Automata-Playground
在线可视化地设计、运行自动机，支持DFA和TM Feel free to create & run your DFA and TM🍩Based on React+Next.js+Mobx+Vis Network
Language: JavaScript - Size: 1.23 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 18 - Forks: 0
DES-Lab/Extracting-FSM-From-RNNs
Black-box extraction of Finite-State Machines from RNNs.
Language: Python - Size: 17.4 MB - Last synced at: about 1 year ago - Pushed at: about 3 years ago - Stars: 17 - Forks: 1
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).
Language: Python - Size: 102 KB - Last synced at: about 1 year ago - Pushed at: almost 2 years ago - Stars: 8 - Forks: 7
ZigRazor/CXXAutomata
A C++ library for simulating automata and Turing machines
Language: C++ - Size: 68.4 KB - Last synced at: 2 months ago - Pushed at: almost 2 years ago - Stars: 8 - Forks: 4
lucaslise/reCreator
Uma ferramenta para criar e validar Expressões Regulares
Language: JavaScript - Size: 2.66 MB - Last synced at: over 2 years ago - Pushed at: over 2 years ago - Stars: 6 - Forks: 0
sherwinshen/TAs-learning-site
🏆 时间自动机模型学习工具站点（Timed Automata）
Language: Python - Size: 981 KB - Last synced at: about 2 months ago - Pushed at: about 3 years ago - Stars: 6 - Forks: 0
milahu/z3gi
Grammatical inference using the Z3 SMT solver
Language: Python - Size: 701 KB - Last synced at: about 2 months ago - Pushed at: over 2 years ago - Stars: 5 - Forks: 0
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.]
Language: C++ - Size: 16.6 KB - Last synced at: about 1 year ago - Pushed at: about 3 years ago - Stars: 5 - Forks: 0
andrewli77/DISC
This repository contains an implementation of DISC, an algorithm for learning DFAs for multiclass sequence classification.
Language: Python - Size: 1.09 MB - Last synced at: about 2 years ago - Pushed at: over 4 years ago - Stars: 5 - Forks: 1
fnordomat/NorwegianBlue
Steganographic use of regular languages, inspired by fteproxy. At the moment I don't have the time to develop it any further ...
Language: C++ - Size: 70.3 KB - Last synced at: over 2 years ago - Pushed at: over 4 years ago - Stars: 5 - Forks: 0
MasWag/FalCAuN
Falsification of CPS via Automata Learning
Language: Jupyter Notebook - Size: 3.16 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 4 - Forks: 4
DES-Lab/Automata-Learning-Based-Diagnosis
Enabling Model-Based Diagnosis and Failure Model Generation with Active Automata Learning
Language: Python - Size: 763 KB - Last synced at: about 1 year ago - Pushed at: over 3 years ago - Stars: 3 - Forks: 0
cipollone/trace-dfa
Finds the minimum DFA (automaton) from a set of sequences in input
Language: Java - Size: 906 KB - Last synced at: over 2 years ago - Pushed at: over 4 years ago - Stars: 2 - Forks: 2
Hayo87/automata-explorer
Visual comparison tool for automata
Language: Java - Size: 855 KB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 1 - Forks: 0
emuskardin/Train-RNN-on-Regural-Langauges
Train RNNs to recognize regular languages.
Language: Python - Size: 50.8 KB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 1 - Forks: 0
MasWag/FalCAuN-ARCH-COMP
Scripts for ARCH-COMP falsification track with FalCAuN
Language: Shell - Size: 774 KB - Last synced at: 12 days ago - Pushed at: about 1 month ago - Stars: 0 - Forks: 0
mkakh/Rust-Lstar
Angluin's L* Algorithm, implemeneted in Rust
Language: Rust - Size: 6.84 KB - Last synced at: 3 months ago - Pushed at: 7 months ago - Stars: 0 - Forks: 0
learnaut24/learnaut24.github.io 📦
Website for the LearnAut 2024 workshop, co-located with ICALP/LICS/FSCD 2024 in Tallinn, Estonia.
Language: HTML - Size: 659 KB - Last synced at: 7 months ago - Pushed at: 10 months ago - Stars: 0 - Forks: 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
Language: Python - Size: 153 KB - Last synced at: 11 months ago - Pushed at: 11 months ago - Stars: 0 - Forks: 0
Skidis17/Automate
Ce dépôt est consacré au projet du theorie des langages sur les Automates
Language: C - Size: 12.7 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0
anserwaseem/automadeasy-videos
videos for automadeasy.com
Size: 33.2 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 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.
Language: Python - Size: 76.9 MB - Last synced at: about 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0
anserwaseem/automadeasy
A learning and teaching tool for Theory of Automata
Language: TypeScript - Size: 16.1 MB - Last synced at: about 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 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.
Language: Python - Size: 1.06 MB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0
Thrashy190/automatix
Automatix is software for experimenting with formal languages topics like AFD and AFnD
Language: TypeScript - Size: 57.6 KB - Last synced at: 2 months ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0
fnordomat/dPDA
Automaton inference from examples using z3py
Language: Python - Size: 23.4 KB - Last synced at: over 2 years ago - Pushed at: almost 5 years ago - Stars: 0 - Forks: 0
nicholasRenninger/carFollowingRTISandbox
A sandbox for personal experiments with the carFollowingRTI repository
Language: Shell - Size: 5.86 KB - Last synced at: over 2 years ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0
