From 59d9ab36fdf4e3d4f6a4b7b7e94037333317a1e1 Mon Sep 17 00:00:00 2001
From: Simon Dold <simon.dold@stud.unibas.ch>
Date: Tue, 10 Dec 2024 14:05:05 +0100
Subject: [PATCH] fix uppercase acronym

---
 literatur.bib | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/literatur.bib b/literatur.bib
index 20ee947..2644f13 100644
--- 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"
 }