31 results for “topic:automata-learning”
A free, open-source Java library for automata learning algorithms
An Automata Learning Library Written in Python
An automata learning library written in Python.
Automata Learning EXperience (ALEX) - A free and open-source web application for testing and learning web applications via active automata learning
Black-box extraction of Finite-State Machines from RNNs.
在线可视化地设计、运行自动机，支持DFA和TM Feel free to create & run your DFA and TM🍩Based on React+Next.js+Mobx+Vis Network
Code for the papers "Induction of Subgoal Automata for Reinforcement Learning" (AAAI-20) and "Induction and Exploitation of Subgoal Automata for Reinforcement Learning" (JAIR).
A C++ library for simulating automata and Turing machines
🏆 时间自动机模型学习工具站点（Timed Automata）
Enabling Model-Based Diagnosis and Failure Model Generation with Active Automata Learning
Library for active learning algorithms for register automata
This repository contains an implementation of DISC, an algorithm for learning DFAs for multiclass sequence classification.
Uma ferramenta para criar e validar Expressões Regulares
[“形式语言与自动机”实验：给定任意上下文无关文法，将其转换为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.]
Grammatical inference using the Z3 SMT solver
Falsification of CPS via Automata Learning
Finds the minimum DFA (automaton) from a set of sequences in input
Train RNNs to recognize regular languages.
Angluin's L* Algorithm, implemeneted in Rust
Visual comparison tool for automata
Automatix is software for experimenting with formal languages topics like AFD and AFnD
Website for the LearnAut 2024 workshop, co-located with ICALP/LICS/FSCD 2024 in Tallinn, Estonia.
videos for automadeasy.com
Implementation of the L* (L Star) based Assume Guarantee Reasoning framework - dynamic DFA input as specification
Ce dépôt est consacré au projet du theorie des langages sur les Automates
Learning and teaching tool for Theory of Automata
Small simulator to visualize automata and test grammar and languages. Hobby project, so updates may come or not come in future.
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.
Examples of solving competitive programming problems with automata learning using AALpy
Scripts for ARCH-COMP falsification track with FalCAuN