An Automata Learning Library Written in Python

AI4Science: Python/Matlab implementation of online and window dynamic mode decomposition (Online DMD and Window DMD)

Protocol state machine learner and fuzzer for DTLS servers and clients

AI4Science: Efficient data-driven Online Model Learning (OML) / system identification and control

Structured framework for learning mechanical systems in PyTorch

Visualization of survey data.

Matlab implementation of online and window dynamic mode decomposition algorithms

🔧 A prototype tool on learning real-time automata based on pac.

Symbolic regression of physical models via Genetic Programming.

🏆 时间自动机模型学习工具站点（Timed Automata）

The provided program jointly optimizes a multilinear face model and the registration of the face scans used for model training.

Incremental Sparse Spectrum Gaussian Process Regression

Grammatical inference using the Z3 SMT solver

Code for the paper Data-efficient model learning and prediction for contact-rich manipulation tasks, RA-L, 2020

Implementation of the Numeric SAM algorithm

Official implementation of L4DC 2023 paper Transition Occupancy Matching -Learning Policy-Aware Models for Model-Based Reinforcement Learning via Transition Occupancy Matching

The provided program robustly learns a multilinear face model from databases with missing data, corrupt data, wrong semantic correspondence, and inaccurate vertex correspondence.

🔨 A prototype tool for learning DOTAs based on PAC.

Performance-oriented model learning for control via multi-objective Bayesian optimization