kendrick
kendrick copied to clipboard
Add an abstraction for Stochastic Automata
At the moment, there is no class to represent Stochastic Automata. We should represent them explicitely and their operations (like tensors sum).