t3s-tool

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.

readme.txt
run_t3s_tool.sh
t3s_tool