Add schindler-et-al-icaps2026 and schindler-et-al-zenodo2026.

Author: speckdavid

literatur.bib

@@ -15025,6 +15025,22 @@ @InProceedings{scherrer-et-al-socs2015
   pages =        "216--217"
 }
 
+% TODO(david): add pages
+@InProceedings{schindler-et-al-icaps2026,
+  author =       "Tanja Schindler and David Speck and Malte Helmert",
+  title =        "Cartesian Abstraction Refinement for Simple Numeric Planning",
+  crossref =     "icaps2026"
+}
+
+@Misc{schindler-et-al-zenodo2026,
+  author =       "Tanja Schindler and David Speck and Malte Helmert",
+  title =        "Code, Benchmarks and Data for the {ICAPS} 2026 Paper 
+                  ``Cartesian Abstraction Refinement for Simple Numeric Planning''",
+  publisher =    "Zenodo",
+  year =         "2026",
+  howpublished = "\url{https://doi.org/10.5281/zenodo.18999076}"
+}
+
 @InProceedings{schmidt-schauss-kr1989,
   author =       "Manfred Schmidt{-}Schau{\ss}",
   title =        "Subsumption in {KL-ONE} is Undecidable",