anand-bala / probabilistic-timed-automata

Probabilistic Timed Automata

Python library for building and simulating probabilistic timed automata.

Installation

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 .

Usage