Scalable induction of probabilistic real-time automata using maximum frequent pattern based clustering

Tools