Feb 19, 2024 Parv’s paper on STL decomposition for planning was accepted to Nasa Formal Methods 2024!
Jan 15, 2024 With Tobias Dürschmid, Eunsuk is teaching a new course in Spring 2024: 17-423/723 Designing Large-scale Software Systems.
Jan 15, 2024 Simon’s paper on Runtime Weakening was accepted to SEAMS 2024!