Great pleasure to be speaking in the CPS series at UCSC today. Tune in if you wanna hear about our work on learning safe control laws from demonstrations 🙂

USC researchers are at #ICRA2024 in Japan this week! Presenting their latest breakthroughs in #robotics, including multi-robot systems, imitation learning, robotics with LLMs, and more 👇 viterbischool.usc.edu/news/2024/05/u…

Enjoying the summer break without deadlines 🌊🌴

Congratulations, Lars Lindemann, Jyo Deshmukh, Yiqi Zhao, and their co-authors from Toyota, selected as best paper award finalists at Intl' Conference on Cyber-Physical Systems (ICCPS) 2024! 👏 iccps.acm.org/2024/

Just became a US permanent resident. The equivalent workload of applying for a greencard is estimated to be two full journal papers 🙃

Excited that our proposal "A Neurosymbolic Approach for Safe Multi-Agent Systems" received an award in the Safe Learning-Enabled Systems program in the synergy category (new.nsf.gov/funding/opport…). Cool research to come together w. Gaurav Sukhatme,Mahdi Soltanolkotabi, and Jyo Deshmukh🙂

If you’re at ICML and wanna chat about uncertainty quantification in formal verification, control, and robotics, drop by booth 216 🚀🙂 The poster is up from 1:30 (now) until 3:00 pm

Our book "Formal Methods for Multi-Agent Feedback Control Systems" is now scheduled to appear The MIT Press @mitpress.bsky.social in early 2025, see mitpress.mit.edu/9780262049719/… for a brief description and for bookmarking 🚀

Sending off Mahdi Soltanolkotabi to NorCal with a sunset ride 🚀

We are happy to announce our workshop "From Formal Methods to Data-Driven Verification and Control" which will be held during CDC24 in Milan on December 15. We have an exciting list of speakers (see lavaei-cps.de/workshop-CDC20… for details). Register here: cdc2024.ieeecss.org/registration