AI Coders Can Finally See What They're Building — Antigravity and Uno Platform Make It Happen
techlife.blog/posts/ai-cod...
#Antigravity #UnoPlatform #MCP #AICoding #CrossPlatform #RuntimeVerification #Google #AI #TechNews
Probabilistic Runtime Verification Improves Deep Learning Evaluation
Probabilistic runtime verification tested on five visual datasets reduced accuracy estimation errors to 0.01–0.1, improving handling of distributional shifts. getnews.me/probabilistic-runtime-ve... #runtimeverification #distributionalshifts
Efficient Online Monitoring of Metric Temporal Logic with Sequential Networks
Sequential networks from Metric Temporal Logic enable real‑time monitoring with scaling resources. First submitted 1 Jan 2019, latest update 20 Sep 2025. Read more: getnews.me/efficient-online-monitor... #metrictimelogic #runtimeverification
New blog post: MSc theses on connecting RTLola via FMUs and a bit of a null-result on using LLMs for code generation
Two of my MSc students at #UIO finished this summer, Selleban M. Farah on “FMUs for runtime monitoring in RTLola”, and Jonas da Silva on “Towards Automated Language Server […]
📄 My tool paper "Execution and monitoring of HOA automata with HOAX" has been accepted to RV 2025! My first sole-author publication 🥹
🔗 And the tool is open source! github.com/lou1306/hoax
See you in Graz!
#compsci #compsky #automata #rv2025 #runtimeverification
There's still time to submit your papers/abstracts to Runtime Verification 2025! Ezio Bartocci will be organising the conference at TU Graz in September.
https://rv25.isec.tugraz.at
#RuntimeVerification #rv2025 @tugraz.bsky.social
