AISoLA 2025

Bridging the Gap Between AI and Reality • Rhodes, Greece

Talk

Formalizing Specifications with Foundational Models and Consistency Checkers

Time: Sunday, 2.11

Room: Room B

Authors: Dejan Nickovic