update logo and badges

Signed-off-by: Francesco Fuggitti <francesco.fuggitti@gmail.com>

README.md

@@ -1,7 +1,28 @@
 <h1 align="center">
-  <b>Plan4Past</b>
+  <img src="https://user-images.githubusercontent.com/29372925/252561261-c383afa8-9138-43a7-8f7d-fd0ecd9220bd.png" width="40%" height="auto">
 </h1>
 
+<p align="center">
+
+  <a href="https://pypi.org/project/plan4past">
+    <img alt="Python Version" src="https://img.shields.io/pypi/pyversions/plan4past" />
+  </a>
+  <a href="https://pypi.org/project/plan4past">
+    <img alt="PyPI" src="https://img.shields.io/pypi/v/plan4past">
+  </a>
+  <a href="https://github.com/whitemech/plan4past/workflows/test/badge.svg">
+    <img alt="build" src="https://github.com/whitemech/plan4past/workflows/test/badge.svg">
+  </a>
+  <a href="https://codecov.io/gh/whitemech/plan4past">
+    <img alt="codecov" src="https://codecov.io/gh/whitemech/plan4past/branch/main/graph/badge.svg">
+  </a>
+  <a href="https://github.com/whitemech/plan4past/blob/main/LICENSE">
+    <img alt="GitHub" src="https://img.shields.io/badge/license-LGPLv3%2B-blue">
+  </a>
+</p>
+
+---
+
 Classical and FOND Planning for Pure-Past Linear Temporal Logic Goals.
 
 ## Installation