| 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! |