Add videos

Author: edwardalee

docs/videos.mdx

@@ -14,8 +14,11 @@ This page collects videos presented by the Lingua Franca team:
 
 ## Technical Talks
 
+* [Subtlteties with Decentralized Coordination in Lingua Franca](https://youtu.be/eUoqy6BLb0A), April 24, 2025.
 * [Decentralized Coordination in Federated Lingua Franca](https://youtu.be/eDBOwr5iD3s?si=rVzd4wXsUGgEHmvD), Nov. 20, 2024.
 * [Trading Off Consistency and Availability using Lingua Franca](https://youtu.be/3lHmiWOedHM?si=6E-SU58zx6n2dT6B), Nov. 10, 2024.
+* [Demo of LF Package Explorer in VS Code](https://youtu.be/9EgWKMowFiI), Oct. 25, 2024.
+* [Lingua Franca Edge AI](https://youtu.be/f2jHLAjER-c), Jul. 11, 2024.
 * [Deterministic Concurrency in Cyber-Physical Systems](https://youtu.be/OA_GknXKe4g?si=ulryQ7gpVivAfoX3), June 16, 2023.
 * [Deterministic Concurrency and the Lingua Franca Coordination Language](https://youtu.be/GT4NJ5XnEt4?si=wzrtX72PgAtPS_Yk), April 18, 2023.
 * [Verifying Parallel and Distributed Systems: The Observer Problem](https://youtu.be/20EKKsdWTQ8?si=aTSiPijMw9lDVajY), Feb. 9, 2023.