From 00a978f99a33559cebf24aa8a62840b171294c83 Mon Sep 17 00:00:00 2001
From: Francesco Fuggitti <francesco.fuggitti@gmail.com>
Date: Tue, 11 Jul 2023 07:37:14 +0200
Subject: [PATCH 1/2] update logo and badges

Signed-off-by: Francesco Fuggitti <francesco.fuggitti@gmail.com>
---
 README.md | 23 ++++++++++++++++++++++-
 1 file changed, 22 insertions(+), 1 deletion(-)

diff --git a/README.md b/README.md
index 417f8e88..8bbc98aa 100644
--- a/README.md
+++ b/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

From 89009f708ad03c283be16162cb71c2ac768b6a04 Mon Sep 17 00:00:00 2001
From: Francesco Fuggitti <francesco.fuggitti@gmail.com>
Date: Thu, 13 Jul 2023 18:55:16 +0200
Subject: [PATCH 2/2] update logo and badges

Signed-off-by: Francesco Fuggitti <francesco.fuggitti@gmail.com>
---
 README.md | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/README.md b/README.md
index 8bbc98aa..92359212 100644
--- a/README.md
+++ b/README.md
@@ -154,6 +154,12 @@ If you use Plan4Past in your research, please consider citing the following pape
                   Enrico Scala},
   title        = {Planning for Temporally Extended Goals in Pure-Past Linear Temporal Logic},
   booktitle    = {{ICAPS}},
+  volume       = {33},
+  url          = {https://ojs.aaai.org/index.php/ICAPS/article/view/27179},
+  doi          = {10.1609/icaps.v33i1.27179},
+  number       = {1},
+  month        = {Jul.},
+  pages        = {61-69},
   year         = {2023},
 }
 ```