GitHub repository: mvcisback/probabilistic_automata
Primary language: Python
Description: Python library for manipulating probablistic automata.