-

Formal Methods for AI Copyright © 2024 for the individual papers by the papers’ authors. Copyright © 2024 for the volume as a collection by its editors. This volume and its papers are published under the

Creative Commons License Attribution 4.0 International (CC BY 4.0). Workshop organization

Chairs

Daniele Porello Cosimo Vinci Matteo Zavatteri

Program Committee

Aniello Murano

Florian Bruse Nicolas Troquard Andrea Orlandini Carlo Taticchi Laura Giordano Bettina Könighofer Enrico Tronci Paolo Baldi Federico Mari Nicola Gigante Michael Sioutis Emilio Incerto Vadim Malvone Michel Reniers Ruben Becker Nicolò Navarin Stefano Tonetta Carla Piazza Sasha Rubin Laura Nenzi

Eleonora Giunchiglia

Organizing Committee

University of Genova, Italy

University of Salento, Italy University of Padova, Italy University of Naples "Federico II", Italy Universität Kassel, Germany Gran Sasso Science Institute, Italy ISTC-CNR, Rome, Italy University of Perugia, Italy Università del Piemonte Orientale, Italy Graz University of Technology, Austria Sapienza University of Rome, Italy University of Salento, Italy University of Rome Foro Italico, Italy Free University of Bozen-Bolzano, Italy University of Montpellier/CNRS, France IMT School for Advanced Studies, Lucca, Italy Télécom Paris, France Eindhoven University of Technology, Netherlands Ca’ Foscari University of Venice, Italy University of Padova, Italy Fondazione Bruno Kessler, Trento, Italy University of Udine, Italy The University of Sydney, Australia University of Trieste, Italy

Imperial College London, U.K.

Nicola Gigante (Chair)

Tiziano Dalmonte Andrea Mazzullo Free University of Bozen-Bolzano, Italy Free University of Bozen-Bolzano, Italy Free University of Bozen-Bolzano, Italy

Preface

Invited Talk Mixing automated temporal planning and ML: the role of opaque entities and RL-based guidance synthesis Andrea Micheli Model Checking and Hybrid Systems

Model Checking of Optimal LTL and ASAP Properties

Davide Bresolin, Filippo Fantinato, Stefano Tonetta On Optimizing Simulation-Based Verification of Cyber-Physical Systems via Statistical Model

Checking: a Preliminary Work

Leonardo Picchiami Recent Results on Computable and Compositional Semantics for Hybrid Systems Davide Bresolin, Pieter Collins, Luca Geretti, Roberto Segala, Tiziano Villa Formal Methods Temporal Many-valued Conditional Logics: an Abridged Report Mario Alviano, Laura Giordano, Daniele Theseider Dupré

Growing HOLMS, a HOL Light Library for Modal Systems

Antonella Bilotta, Marco Maggesi, Cosimo Perini Brogi, Leonardo Quartini Towards ASP-based Minimal Unsatisfiable Cores Enumeration for LTLf Antonio Ielo, Giuseppe Mazzotta, Francesco Ricca, Rafael Peñaloza Formalizing Decisional and Operational Roles in Legal Contracts via Term-Modal Logic Stef Frijters and Matteo Pascucci Formal Methods for AI - Part 1 Integrating L0 regularization into Multi-layer Logical Perceptron for Interpretable Classification Gonzalo Jaimovitch-López, Luca Bergamin, Fabio Aiolli, Roberto Confalonieri Automated Synthesis of Certified Neural Networks: Initial Results and Open Research Lines Matteo Zavatteri, Davide Bresolin, Nicolò Navarin Formal Logical Reasoning With Transformers and Their Place on the Chomsky Hierarchy Stefan Reifberger Formal Methods for AI - Part 2

Many-Expert Decision Trees

Guillermo Badia, Carles Noguera, Alberto Paparella, Guido Sciavicco Evaluating LLMs Capabilities at Natural Language to Logic Translation: A Preliminary Investigation Andrea Brunello, Riccardo Ferrarese, Luca Geatti, Enrico Marzano, Angelo Montanari, Nicola Saccomanno Minimal Rules from Decision Forests: A Systematic Approach Giovanni Pagliarini, Andrea Paradiso, Marco Perrotta, Guido Sciavicco Applications A Comparison of Machine Learning Techniques for Ethereum Smart Contract Vulnerability Detection Matteo Rizzo, Dalila Ressi, Andrea Gasparetto, Sabina Rossi

References