Affiliations: [a] Intelligent system DEsign and Applications (IDEA) Group, University of Sassari, Italy. E-mail: [email protected] | [b] Institute for Formal Models and Verification Johannes Kepler University Linz, Austria. E-mail: [email protected]
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.