Added gestrin-et-al-icaps2025wshaxp , gestrin-seipp-icaps2026wslm4plan , gestrin-et-al-icaps2026wskeps

crossref-short.bib

@@ -177,6 +177,12 @@ @Proceedings{aaai2018
   year =         "2018"
 }
 
+@Proceedings{aaai2018ss,
+  title =        "Proc.\ AAAI Spring Symposium 2018",
+  booktitle =    "Proc.\ AAAI Spring Symposium 2018",
+  year =         "2018"
+}
+
 @Proceedings{aaai2019,
   title =        "Proc.\ {AAAI} 2019",
   booktitle =    "Proc.\ {AAAI} 2019",
@@ -343,6 +349,12 @@ @Proceedings{ase2022
   year =         "2022"
 }
 
+@Proceedings{ase2024,
+  title =        "Proc.\ ASE 2024",
+  booktitle =    "Proc.\ ASE 2024",
+  year =         "2024"
+}
+
 @Proceedings{atva2009,
   title =        "Proc.\ ATVA 2009",
   booktitle =    "Proc.\ ATVA 2009",
@@ -1216,6 +1228,18 @@ @Proceedings{icaps2026wshsdip
   year =         "2026"
 }
 
+@Proceedings{icaps2026wskeps,
+  title =        "ICAPS Workshop on Knowledge Engineering for Planning and Scheduling (KEPS)",
+  booktitle =    "ICAPS Workshop on Knowledge Engineering for Planning and Scheduling (KEPS)",
+  year =         "2026"
+}
+
+@Proceedings{icaps2026wslm4plan,
+  title =        "ICAPS Workshop on Planning in the Era of {LLMs}",
+  booktitle =    "ICAPS Workshop on Planning in the Era of {LLMs}",
+  year =         "2026"
+}
+
 @Proceedings{icaps2026wsprl,
   title =        "ICAPS Workshop on Bridging the Gap Between AI
                   Planning and Reinforcement Learning (PRL)",
@@ -2057,6 +2081,12 @@ @Book{rap1991
   year =         "1991"
 }
 
+@Proceedings{saiv2025,
+  title =        "Proc.\ SAIV 2025",
+  booktitle =    "Proc.\ SAIV 2025",
+  year =         "2025"
+}
+
 @Proceedings{sara2000,
   title =        "Proc.\ SARA 2000",
   booktitle =    "Proc.\ SARA 2000",

crossref.bib

@@ -283,6 +283,13 @@ @Proceedings{aaai2018
   year =         "2018"
 }
 
+@Proceedings{aaai2018ss,
+  title =        "The 2018 {AAAI} Spring Symposium Series",
+  booktitle =    "The 2018 {AAAI} Spring Symposium Series",
+  publisher =    "{AAAI} Press",
+  year =         "2018"
+}
+
 % No editors mentioned on https://www.aaai.org/Library/AAAI/aaai19contents.php
 @Proceedings{aaai2019,
   title =        "Proceedings of the Thirty-Third {AAAI} Conference on
@@ -571,6 +578,13 @@ @Proceedings{ase2022
   year =         "2022"
 }
 
+@Proceedings{ase2024,
+  title =        "Proceedings of the 39th {IEEE/ACM} International Conference on Automated Software Engineering ({ASE} 2024)",
+  booktitle =    "Proceedings of the 39th {IEEE/ACM} International Conference on Automated Software Engineering ({ASE} 2024)",
+  publisher =    "{ACM}",
+  year =         "2024"
+}
+
 @Proceedings{atva2009,
   editor =       "Zhiming Liu and Anders P. Ravn",
   title =        "Proceedings of the 7th International Symposium on
@@ -1862,6 +1876,18 @@ @Proceedings{icaps2026wshsdip
   year =         "2026"
 }
 
+@Proceedings{icaps2026wskeps,
+  title =        "ICAPS 2026 Workshop on Knowledge Engineering for Planning and Scheduling (KEPS)",
+  booktitle =    "ICAPS 2026 Workshop on Knowledge Engineering for Planning and Scheduling (KEPS)",
+  year =         "2026"
+}
+
+@Proceedings{icaps2026wslm4plan,
+  title =        "ICAPS 2026 Workshop on Planning in the Era of {LLMs} (LM4Plan)",
+  booktitle =    "ICAPS 2026 Workshop on Planning in the Era of {LLMs} (LM4Plan)",
+  year =         "2026"
+}
+
 @Proceedings{icaps2026wsprl,
   title =        "ICAPS 2026 Workshop on Bridging the Gap Between AI
                   Planning and Reinforcement Learning (PRL)",
@@ -3249,6 +3275,16 @@ @Book{rap1991
   address =      "San Mateo"
 }
 
+@Proceedings{saiv2025,
+  editor =       "Mirco Giacobbe and Anna Lukina",
+  title =        "Proceedings of the Second International Symposium on {AI} Verification (SAIV 2025)",
+  booktitle =    "Proceedings of the Second International Symposium on {AI} Verification (SAIV 2025)",
+  publisher =    "Springer",
+  series =       lncs,
+  volume =       "15947",
+  year =         "2025"
+}
+
 % Data based on DBLP, but changed LNCS to the correct LNAI (verified
 % by looking at the title page on Amazon).
 @Proceedings{sara2000,