Antonina Mijatovic

Publication Activity (10 Years)

Years Active: 2023-2024
Publications (10 Years): 2

Top Topics

Formal Verification

Visual Concepts

Top Venues

Publications

Davide Catta, Jean Leneutre, Antonina Mijatovic, Johanna Ulin, Vadim Malvone
A Formal Verification Approach to Handle Attack Graphs. ICAART (3) (2024)
Antonina Mijatovic, Davide Buscaldi, Ekaterina Borisova
RCLN at SemEval-2023 Task 1: Leveraging Stable Diffusion and Image Captions for Visual WSD. SemEval@ACL (2023)