TADAM

TADAM is a probabilistic time automata learner from noisy observations, made in the context of the SecGen associate team between Inria and CISPA. It an implementation of the learning algorithm described in TADAM: Learning Timed Automata From Noisy Observations. Pypi page. Source code.