- A graduate textbook:Verifying Cyber-Physical Systems published after several years of work! Feb 16, 2021
- Article about Koord and new project on programming autonomous systems. Feb 2, 2021
media
- Principles of safe autonomy, highlights of final projects posted. Jan 8, 2021
video
- Sayan is giving a talk on Verified robot code for the C3.ai Digital Transformation Institute's Workshop on Safe Autonomy. Dec 8, 2020
talk
- We will be recruiting PhD students and Postdocs for fall 21. Apply to eceillinois and drop me an email if interested. Nov 20, 2020
- Our Koord paper on programming robots is being presented by Chiao Hsieh at OOPSLA20, SPLASH20. Nov 17, 2020
talk
- Chuchu is awarded the CSL doctoral dissertation prize! Congratulations! Sep 23, 2020.
thesis
media
-
Fast, discretization-free, controller synthesis for nonlinear models. New paper and open source tool developed by Kristina and Chuchu. Paper appeared in CAV 2020. July 31, 2020.
talk
-
Our new course on Principles of Safe Autonomy is covered by the College of Engineering. July 27, 2020.
media