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.

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

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

Incremental Sparse Spectrum Gaussian Process Regression

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

Grammatical inference using the Z3 SMT solver

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

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