hotfix docs

docs/references.md

@@ -19,8 +19,8 @@ They are famous for their clarity and ease of use.
 
 A list of recommended readings:
 
-- [Giuseppe De Giacomo and Moshe Y. Vardi. "Linear Temporal Logic and Linear Dynamic Logic on Finite Traces." IJCAI (2013)](https://www.dis.uniroma1.it/~degiacom/papers/2013/IJCAI13dv.pdf) 
-- [Giuseppe De Giacomo and Moshe Y. Vardi. "Synthesis for LTL and LDL on finite traces." IJCAI (2015)](https://www.ijcai.org/Proceedings/15/Papers/223.pdf)
-- [Giuseppe De Giacomo and Moshe Y. Vardi. "LTLf and LDLf synthesis under partial observability." IJCAI (2016)](http://www.diag.uniroma1.it/~degiacom/papers/2016/IJCAI16dv.pdf)
-- [Brafman Ronen, De Giacomo Giuseppe, and Patrizi Fabio. "LTLf/LDLf Non-Markovian Rewards" AAAI (2018)](https://pdfs.semanticscholar.org/914f/279742a9f509934a0959c080b08e9fad771e.pdf)
-- [Giuseppe De Giacomo, Antonio Di Stasio, Francesco Fuggitti and Sasha Rubin]() 
+- [Giuseppe De Giacomo, Antonio Di Stasio, Francesco Fuggitti, and Sasha Rubin. "Pure Past Linear Temporal and Dynamic Logic on Finite Traces". IJCAI, 2020](https://www.ijcai.org/proceedings/2020/0690.pdf)
+- [Brafman Ronen, De Giacomo Giuseppe, and Patrizi Fabio. "LTLf/LDLf Non-Markovian Rewards". AAAI, 2018](https://pdfs.semanticscholar.org/914f/279742a9f509934a0959c080b08e9fad771e.pdf)
+- [Giuseppe De Giacomo and Moshe Y. Vardi. "LTLf and LDLf synthesis under partial observability". IJCAI, 2016](http://www.diag.uniroma1.it/~degiacom/papers/2016/IJCAI16dv.pdf)
+- [Giuseppe De Giacomo and Moshe Y. Vardi. "Synthesis for LTL and LDL on finite traces". IJCAI, 2015](https://www.ijcai.org/Proceedings/15/Papers/223.pdf)
+- [Giuseppe De Giacomo and Moshe Y. Vardi. "Linear Temporal Logic and Linear Dynamic Logic on Finite Traces". IJCAI, 2013](https://www.dis.uniroma1.it/~degiacom/papers/2013/IJCAI13dv.pdf) 

mkdocs.yml

@@ -12,21 +12,21 @@ nav:
     - References: references.md
 
 plugins:
-- search
+    - search
 
 theme:
-  name: material
+    name: material
 
 markdown_extensions:
-- codehilite
-- pymdownx.arithmatex
-- pymdownx.highlight
-- pymdownx.superfences
-- pymdownx.emoji:
-    emoji_index: !!python/name:materialx.emoji.twemoji
-    emoji_generator: !!python/name:materialx.emoji.to_svg
-- markdown_include.include:
-    base_path: docs
+    - codehilite
+    - pymdownx.arithmatex
+    - pymdownx.highlight
+    - pymdownx.superfences
+    - pymdownx.emoji:
+        emoji_index: !!python/name:materialx.emoji.twemoji
+        emoji_generator: !!python/name:materialx.emoji.to_svg
+    - markdown_include.include:
+        base_path: docs
 
 extra_javascript:
-- 'https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-MML-AM_CHTML'
+    - 'https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-MML-AM_CHTML'