TADAM: Timed Automata Discovery Applying MDL

We plan to update the documentation and the API of TADAM in the following months.

This repository also includes the source code of RTI+ (GPL licence) and TAG (BSD 3-clause licence).

Name		Name	Last commit message	Last commit date
Latest commit History 4 Commits
Automaton_generator		Automaton_generator
RTI		RTI
TAG		TAG
experiments		experiments
src/tadam		src/tadam
HMM.py		HMM.py
LICENSE		LICENSE
README.md		README.md
pyproject.toml		pyproject.toml
requirements.txt		requirements.txt
setup.cfg		setup.cfg

Navigation Menu