Skip to main navigation Skip to search Skip to main content

Formalizing Specifications with Foundational Models and Consistency Checkers

    Activity: Talk or presentation / Lecture › Presentation at a scientific conference / workshop

    Period28 Oct 2025
    Event titleAISoLA 2025: Bridging the Gap Between AI and Reality
    Event typeConference
    LocationRhodes, GreeceShow on map
    Degree of RecognitionInternational

    Research Field

    • Dependable Systems Engineering