Small additions.

tailor.bib

@@ -701,6 +701,17 @@ @inproceedings{aamas2021rfm
  year = {2021}
 }
 
+@article{abs-2308-15178/ecai23,
+ author = {Giuseppe {De Giacomo} and
+Gianmarco Parretti and
+Shufang Zhu},
+ booktitle = {Proceedings of the 26th {European} Conference on {Artificial}
+{Intelligence} ({ECAI} 2023)},
+ keywords = {WP5,A-level},
+ title = {Symbolic LTLf Best-Effort Synthesis},
+ year = {2023}
+}
+
 @article{ACEM20,
  author = {Mar{\'{\i}}a Alpuente and Angel Cuenca{-}Ortega and Santiago Escobar and  Jos{\'{e}} Meseguer},
  doi = {10.3233/FI-2020-1991},
@@ -2260,6 +2271,20 @@ @inproceedings{DBLP:conf/eumas/GiacomoP23
  year = {2023}
 }
 
+@inproceedings{DBLP:conf/eumas/GiacomoPZ23,
+ author = {Giuseppe De Giacomo and
+Gianmarco Parretti and
+Shufang Zhu},
+ booktitle = {{EUMAS}},
+ keywords = {WP5},
+ pages = {228--243},
+ publisher = {Springer},
+ series = {Lecture Notes in Computer Science},
+ title = {Symbolic sc ltlf Best-Effort Synthesis},
+ volume = {14282},
+ year = {2023}
+}
+
 @inproceedings{DBLP:conf/evoapps/KostovskaVDPED13,
  author = {Ana Kostovska and
 Diederick Vermetten and
@@ -5094,6 +5119,18 @@ @inproceedings{ecai2023sfj
  year = {2023}
 }
 
+@article{ecai23bdffds,
+ author = {Bonassi, Luigi and De Giacomo, Giuseppe and Favorito, Marco and Fuggitti, Francesco and Gerevini, Alfonso and Scala, Enrico},
+ booktitle = {Proceedings of the 26th {European} Conference on {Artificial}
+{Intelligence} ({ECAI} 2023)},
+ doi = {10.3233/FAIA230281},
+ isbn = {9781643684369},
+ keywords = {WP5,A-level},
+ month = {09},
+ title = {FOND Planning for Pure-Past Linear Temporal Logic Goals},
+ year = {2023}
+}
+
 @inproceedings{elbaz2021metadl,
  author = {El Baz, Adrian and Guyon, Isabelle and Liu, Zhengying and van Rijn, Jan Nicolaas and Treguer, Sebastien and Vanschoren, Joaquin},
  booktitle = {AAAI Workshop on Meta-Learning and MetaDL Challenge},
@@ -5833,6 +5870,14 @@ @inproceedings{ijcnn2021put
  year = {2021}
 }
 
+@article{ilp23ilfrdr,
+ author = {Ielo, Antonio and Law, Mark and Fionda, Valeria and Ricca, Francesco and De Giacomo, Giuseppe and Russo, Alessandra},
+ booktitle = {32nd International Conference on Inductive Logic Programming ILP2023},
+ keywords = {WP5},
+ title = {Towards ILP-based LTLf passive learning},
+ year = {2023}
+}
+
 @article{Iranzo-Sanchez2021,
  author = {Javier Iranzo-S{\'{a}}nchez and Javier Jorge and Pau Baquero-Arnal and Silvestre-Cerd{\`{a}}, Joan Albert and Adrià Giménez and Jorge Civera and Albert Sanchis and Alfons Juan},
  date = {2021-01-01},