updated news with AAAI, RAL, and TAC papers

_data/news.csv

@@ -1,5 +1,8 @@
 Date,Item
-2024-12-07,"ARIA will have a presence at CDC'24 in Dec. 24 with 2 papers. Seek us out!"
+2025-01-08,"Our work on "Formal Verification of Unknown Dynamical Systems via Gaussian Process Regression" has been accepted for publication in the  IEEE Transactions on Automatic Control (TAC). [Read the preprint here!](https://arxiv.org/abs/2201.00655)"
+2025-01-03,"Our work on "Kino-PAX: Highly Parallel Kinodynamic Sampling-based Planner" has been accepted for publication in the  IEEE Robotics and Automation Letters (RA-L). [Read the preprint here!](https://arxiv.org/abs/2409.06807)"
+2024-12-09,"Our work on "Error Bounds For Gaussian Process Regression Under Bounded Support Noise With Applications To Safety Certification" has been accepted for presentation at the The Thirty-Ninth AAAI Conference on Artificial Intelligence (AAAI'25). [Read the preprint here!](https://arxiv.org/abs/2408.09033)"
+2024-12-07,"ARIA will have a presence at CDC'24 in Dec. with 2 papers. Seek us out!"
 2024-10-26,"Our work on "Efficient strategy synthesis for switched stochastic systems with distributional uncertainty" has been accepted for publication in the Journal of Nonlinear Analysis: Hybrid Systems (NAHS). [Read the preprint here!](https://arxiv.org/abs/2212.14260)"
 2024-06-26,"Justin successfully defended his PhD thesis.  Congrats, Dr. Kottinger!"
 2024-05-30,"John successfully defended his PhD thesis.  Congrats, Dr. Skovbekk!"