x.com/i/article/1831…

BREAKING NEWS The Royal Swedish Academy of Sciences has decided to award the 2024 #NobelPrize in Physics to John J. Hopfield and Geoffrey E. Hinton “for foundational discoveries and inventions that enable machine learning with artificial neural networks.”

Sad to learn that Allen Emerson, a giant of the formal methods research and winner of 2007 Turing Award, passed away, he will be remembered fondly

excited to share our #RSS2025 work on online diffusion policy learning, a collaboration with Xiatao Sun (lead), Yinxing Chen, Francis Fan, Yiyan (Edgar) Liang, and Danny Rakita

We did a big update of our survey "Formal Verification and Control with Conformal Prediction" (arxiv.org/pdf/2409.00536). Among other things, we now provide a detailed comparison of conformal prediction with UQ alternatives. Big thank to the reviewers for really good suggestions!

Congratulations Steven Strogatz of Cornell University, newly inducted #NASmember! #NAS162 #mathematics

We have almost finalized the material for our three hour tutorial on "Formal Verification and Control with Conformal Prediction" for the CPS Week at UCI next week on May 6th 🚀 You can still register for the event: cps-iot-week2025.ics.uci.edu/registration.p… Looking forward seeing many of you 😎

Our book “Formal Methods for Multi-Agent Feedback Control Systems” - which is uniquely situated at the intersection of (nonlinear) feedback control, formal methods, and multi-agent systems - got published today, see mitpress.mit.edu/9780262049719/… 😊

Congratulations to all of our USC Thomas Lord Department of Computer Science USC Viterbi School graduate award recipients! Premankur Banerjee (PhD), Kegan Strawn (PhD), Deqing Fu (PhD) and Zhaotian Weng (MS)! 🎉🏆 Deqing Fu USC School of Advanced Computing Lars Lindemann

It enables faster training without sacrificing performance, and makes online training of overparameterized policies practical and efficient. 🔗 Project page: apollo-lab-yale.github.io/25-RSS-DRIFT-w… Check it out — happy to connect & discuss!

I gave an in-depth tutorial on "Formal Verification and Control with Conformal Prediction" at KTH today 🚀 Since I got positive feedback, I wanted to share the presentation, in the hope that others can also benefit from it 🙂 Find the recording here: youtu.be/kfPBjaMCXmM?si…

#L4DC2026 will be at University of Southern California, Los Angeles, California! Looking forward to see everyone there!

🚀 Join Us: Research Internships in Embodied Intelligence The USC Geometry, Vision, and Learning Lab (usc-gvl.github.io) is seeking highly motivated interns to push the frontiers of AI, robotics, and 3D computer vision. You’ll work on large-scale VLA models,