Add recent publications

Author: MarkelZ

_bibliography/papers.bib

@@ -7,6 +7,76 @@
 #                     2025
 #################################################
 
+@inproceedings{DBLP:conf/vmcai/AzeemCKKMMW25,
+  author       = {Muqsit Azeem and
+                  Debraj Chakraborty and
+                  Sudeep Kanav and
+                  Jan Kret{\'{\i}}nsk{\'{y}} and
+                  MohammadSadegh Mohagheghi and
+                  Stefanie Mohr and
+                  Maximilian Weininger},
+  title        = {1-2-3-Go! Policy Synthesis for Parameterized Markov Decision Processes
+                  via Decision-Tree Learning and Generalization},
+  booktitle    = {{VMCAI} {(2)}},
+  series       = {Lecture Notes in Computer Science},
+  volume       = {15530},
+  pages        = {97--120},
+  publisher    = {Springer},
+  year         = {2025}
+}
+
+@inproceedings{DBLP:conf/tacas/ChatterjeeQSWWZ25,
+  author       = {Krishnendu Chatterjee and
+                  Tim Quatmann and
+                  Maximilian Sch{\"{a}}ffeler and
+                  Maximilian Weininger and
+                  Tobias Winkler and
+                  Daniel Zilken},
+  title        = {Fixed Point Certificates for Reachability and Expected Rewards in
+                  MDPs},
+  booktitle    = {{TACAS} {(2)}},
+  series       = {Lecture Notes in Computer Science},
+  volume       = {15697},
+  pages        = {130--151},
+  publisher    = {Springer},
+  year         = {2025}
+}
+
+@inproceedings{DBLP:conf/tacas/BuddeHMWW25,
+  author       = {Carlos E. Budde and
+                  Arnd Hartmanns and
+                  Tobias Meggendorfer and
+                  Maximilian Weininger and
+                  Patrick Wienh{\"{o}}ft},
+  title        = {Sound Statistical Model Checking for Probabilities and Expected Rewards},
+  booktitle    = {{TACAS} {(1)}},
+  series       = {Lecture Notes in Computer Science},
+  volume       = {15696},
+  pages        = {167--190},
+  publisher    = {Springer},
+  year         = {2025}
+}
+
+@inproceedings{DBLP:conf/aaai/MeggendorferWW25,
+  author       = {Tobias Meggendorfer and
+                  Maximilian Weininger and
+                  Patrick Wienh{\"{o}}ft},
+  title        = {Solving Robust Markov Decision Processes: Generic, Reliable, Efficient},
+  booktitle    = {{AAAI}},
+  pages        = {26631--26641},
+  publisher    = {{AAAI} Press},
+  year         = {2025}
+}
+
+@inproceedings{Galesloot2025rfPG,
+  author = {Maris F. L. Galesloot and Roman Andriushchenko and Milan \v{C}e\v{s}ka and Sebastian Junges and Nils Jansen},
+  title = {rfPG: Robust Finite-Memory Policy Gradients for Hidden-model {POMDP}s},
+  booktitle = {IJCAI},
+  abbr = {IJCAI},
+  year = {2025},
+  arxiv = {2505.09518}
+}
+
 @inproceedings{Cevahir2025Safety,
   title        = {{Safety-Prioritizing Curricula for Constrained Reinforcement Learning}},
   author       = {