AISoLA 2025

Bridging the Gap Between AI and Reality • Rhodes, Greece

Talk

Synthesizing Runtime Verification Monitors with LLMs

Time: Tuesday, 4.11

Room: Room B

Authors: Itay Cohen, Klaus Havelund, Doron Peled