Python library for building and simulating probabilistic timed automata.
To install using pip
just use:
$ python3 -m pip install probabilistic-timed-automata
For developers, simply clone the repository and run
$ python3 -m pip install -e .
Python library for building and simulating probabilistic timed automata.
To install using pip
just use:
$ python3 -m pip install probabilistic-timed-automata
For developers, simply clone the repository and run
$ python3 -m pip install -e .
MIT License