news
| May 15, 2025 | Esen is co-organizing Workshop on Formal Verification of Control Systems with Neural Network Components at ACC 2025! |
|---|---|
| Jan 01, 2024 | Esen has started as an assistant professor at RPI. |
| May 15, 2025 | Esen is co-organizing Workshop on Formal Verification of Control Systems with Neural Network Components at ACC 2025! |
|---|---|
| Jan 01, 2024 | Esen has started as an assistant professor at RPI. |