Add multiple papers

crossref-short.bib

@@ -662,6 +662,14 @@ @Proceedings{flairs2008
   year =         "2008"
 }
 
+@Proceedings{floc2026wsar4space,
+  title =        "FLoC Workshop on Automated Reasoning for Future
+                  Space Logistics (AR4Space)",
+  booktitle =    "FLoC Workshop on Automated Reasoning for Future
+                  Space Logistics (AR4Space)",
+  year =         "2026"
+}
+
 @Proceedings{fm1999,
   title =        "Proc.\ FM 1999",
   booktitle =    "Proc.\ FM 1999",
@@ -1200,6 +1208,14 @@ @Proceedings{icaps2026wscasper
   year =         "2026"
 }
 
+@Proceedings{icaps2026wsprl,
+  title =        "ICAPS Workshop on Bridging the Gap Between AI
+                  Planning and Reinforcement Learning (PRL)",
+  booktitle =    "ICAPS Workshop on Bridging the Gap Between AI
+                  Planning and Reinforcement Learning (PRL)",
+  year =         "2026"
+}
+
 @Proceedings{iccad1990,
   title =        "Proc.\ ICCAD 1990",
   booktitle =    "Proc.\ ICCAD 1990",

crossref.bib

@@ -1148,6 +1148,14 @@ @Proceedings{flairs2008
   publisher =    "AAAI Press"
 }
 
+@Proceedings{floc2026wsar4space,
+  title =        "FLoC 2026 Workshop on Automated Reasoning for Future
+                  Space Logistics (AR4Space)",
+  booktitle =    "FLoC 2026 Workshop on Automated Reasoning for Future
+                  Space Logistics (AR4Space)",
+  year =         "2026"
+}
+
 % Data taken from DBLP.
 @Proceedings{fm1999,
   editor =       "Jeannette M. Wing and Jim Woodcock and Jim Davies",
@@ -1846,6 +1854,14 @@ @Proceedings{icaps2026wscasper
   year =         "2026"
 }
 
+@Proceedings{icaps2026wsprl,
+  title =        "ICAPS 2026 Workshop on Bridging the Gap Between AI
+                  Planning and Reinforcement Learning (PRL)",
+  booktitle =    "ICAPS 2026 Workshop on Bridging the Gap Between AI
+                  Planning and Reinforcement Learning (PRL)",
+  year =         "2026"
+}
+
 % No source cites the editor
 @Proceedings{iccad1990,
   title =        "Proceedings of the 1990 IEEE/ACM International

literatur.bib

@@ -11987,6 +11987,13 @@ @InProceedings{lequen-et-al-icaps2026
   crossref =     "icaps2026"
 }
 
+@InProceedings{lequen-et-al-icaps2026wsprl,
+  author =       "Arnaud Lequen and Cl{\'e}ment Legrand-Lixon and
+                  L{\'e}o Sauli{\`e}res",
+  title =        "Pareto {Q}-Learning with Reward Machines",
+  crossref =     "icaps2026wsprl"
+}
+
 @InProceedings{lequen-et-al-kr2026,
   author =       "Arnaud Lequen and Cl{\'e}ment Legrand-Lixon and
                   L{\'e}o Sauli{\`e}res",
@@ -15326,6 +15333,13 @@ @Misc{sanner-rddl2010
   year =         "2010"
 }
 
+@InProceedings{santos-et-al-floc2026wsar4space,
+  author =       "Jennifer Santos and Damien {Van Meerbeeck} and
+                  Mika Skjelnes and Arnaud Lequen and Daniel Gnad",
+  title =        "Robust Observation Planning via Facet Reasoning",
+  crossref =     "floc2026wsar4space"
+}
+
 @InProceedings{saparov-he-iclr2023,
   author =       "Abulhair Saparov and He He",
   title =        "Language Models Are Greedy Reasoners: A Systematic Formal Analysis of Chain-of-Thought",