Affiliations: [a] Intelligent system DEsign and Applications (IDEA) Group, University of Sassari, Italy. E-mail: lpulina@uniss.it | [b] Institute for Formal Models and Verification Johannes Kepler University Linz, Austria. E-mail: martina.seidl@jku.at
Note: [*] This work has been supported by the Austrian Science Fund (FWF) project W1255-N23 and the LIT AI Lab funded by the State of Upper Austria.