diff --git a/README.md b/README.md index 85aa03e..33b356b 100644 --- a/README.md +++ b/README.md @@ -1,6 +1,8 @@ Argus: Temporal Logic Monitoring Tool ===================================== +[![PyPI version](https://badge.fury.io/py/argus-temporal-logic.svg)](https://badge.fury.io/py/argus-temporal-logic) + Argus aims to be a tool to generate monitors for Signal Temporal Logic (STL), and its different semantics. diff --git a/docs/index.rst b/docs/index.rst index 1990025..b16d1ec 100644 --- a/docs/index.rst +++ b/docs/index.rst @@ -1,6 +1,9 @@ Argus: Temporal Logic Monitoring Tool ===================================== +.. image:: https://badge.fury.io/py/argus-temporal-logic.svg + :target: https://badge.fury.io/py/argus-temporal-logic + Argus aims to be a tool to generate monitors for Signal Temporal Logic (STL), and its different semantics.