fix uppercase acronym

aibasel · Dec 10, 2024 · 59d9ab3 · 59d9ab3
1 parent c5dffe1
commit 59d9ab3
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/literatur.bib b/literatur.bib
@@ -104,7 +104,7 @@ @InProceedings{abdulaziz-et-al-itp2015
 
 @InProceedings{abdulaziz-kurz-aaai2023,
   author =       "Mohammad Abdulaziz and Friedrich Kurz",
-  title =        "Formally Verified SAT-Based AI Planning",
+  title =        "Formally Verified {SAT}-Based {AI} Planning",
   crossref =     "aaai2023",
   pages =        "15073--15081"
 }