资 源 简 介
The T3S-tool was developed to implement the T3S algorithm, which is a learning algorithm for stochastic discrete event systems. The tool allows the
representation of stochastic timed automata (STA), it is able to learn STA, and also generate an event-based model that can be used as input for a statistical model checker Ymer (http://code.google.com/p/ymer/).
Moreover, this tool is extended and developed as a Matlab toolbox, namely the T3S Matlab Toolbox.
The current release version is 1.0.1.
