Update papers.bib

Author: jackbergus

_bibliography/papers.bib

@@ -1,4 +1,12 @@
-
+@incollection{chapter2025xai,
+  author      = "Bergami, Giacomo and Fox, Oliver Robert, and Morgan, Graham",
+  title       = "Extracting Specifications Through Verified and Explainable AI: Interpretability, Interoperability, and Trade-Offs",
+  booktitle   = "Explainable Artificial Intelligence for Trustworthy Decisions in Smart Applications",
+  publisher   = "Springer",
+  address     = "Switzerland",
+  year        = 2025,
+  chapter     = 2,
+}
 
 @Article{s25051591,
 AUTHOR = {Gillgallon, Rohin and Almutairi, Reham and Bergami, Giacomo and Morgan, Graham},