Bridging the Gap Between AI and Reality • Rhodes, Greece
| Time | Topic | Authors |
| 14:30 | Formal Verification of AI-based Code Generation in Model-Driven Development | Cheng Wang, Florian Lorber, Edi Muškardin, Bernhard Aichernig |
| 15:00 | AGREE-Dog Copilot: A Neuro-Symbolic Approach to Enhanced Model-Based Systems Engineering | Amer Tahat, Isaac Amundson, David Hardin, Darren Cofer |
| 15:30 | PolyVer: A Compositional Approach for Polyglot System Modeling and Verification | Pei-Wei Chen, Shaokai Lin, Adwait Godbole, Ramneet Singh, Elizabeth Polgreen, Edward Lee, Sanjit Seshia |