Vadim Malvone

Translating Natural Language to Strategic Temporal Specifications via LLMs

Marco Aruta, Francesco Improta, Vadim Malvone, Aniello Murano, Vladana Perlić

A rigorous formalization of system requirements is a fundamental prerequisite for the verification of Multi-Agent Systems (MAS). However, writing correct formal specifications is well known as an error-prone, time-consuming, and expertise-intensive task. This difficulty is furthe…Read more