OVERLAY 2024
Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis 2024

Table of Contents

• Cover Page and Table of Contents
• Preface
  Summary: There were 18 papers submitted for peer-review to this workshop. Out of these, 16 papers were accepted for this volume, 0 as regular papers and 16 as short papers.
• Invited Talk Abstract

Short Papers Technical Track

• Model Checking of Optimal LTL and ASAP Properties 3-11
  Davide Bresolin , Filippo Fantinato , Stefano Tonetta
• On Optimizing Simulation-Based Verification of Cyber-Physical Systems via Statistical Model Checking: a Preliminary Work 13-21
  Leonardo Picchiami
• Recent Results on Computable and Compositional Semantics for Hybrid Systems 23-29
  Davide Bresolin , Pieter Collins , Luca Geretti , Roberto Segala , Tiziano Villa
• Temporal Many-valued Conditional Logics: an Abridged Report 33-40
  Mario Alviano , Laura Giordano , Daniele Theseider Dupré
• Growing HOLMS, a HOL Light Library for Modal Systems 41-48
  Antonella Bilotta , Marco Maggesi , Cosimo Perini Brogi , Leonardo Quartini
• Towards ASP-based Minimal Unsatisfiable Cores Enumeration for LTLf 49-55
  Antonio Ielo , Giuseppe Mazzotta , Francesco Ricca , Rafael Peñaloza
• Formalizing Decisional and Operational Roles in Legal Contracts via Term-Modal Logic 57-63
  Stef Frijters , Matteo Pascucci
• Integrating L0 regularization into Multi-layer Logical Perceptron for Interpretable Classification 67-75
  Gonzalo Jaimovitch-López , Luca Bergamin , Fabio Aiolli , Roberto Confalonieri
• Automated Synthesis of Certified Neural Networks: Initial Results and Open Research Lines 77-82
  Matteo Zavatteri , Davide Bresolin , Nicolò Navarin
• Towards Modern Rule-Based Learning 83-88
  Giovanni Pagliarini , Edoardo Ponsanesi , Guido Sciavicco , Ionel Eduard Stan
• Formal Logical Reasoning With Transformers and Their Place on the Chomsky Hierarchy 89-94
  Stefan Reifberger
• Many-Expert Decision Trees 97-102
  Guillermo Badia , Carles Noguera , Alberto Paparella , Guido Sciavicco
• Evaluating LLMs Capabilities at Natural Language to Logic Translation: A Preliminary Investigation 103-110
  Andrea Brunello , Riccardo Ferrarese , Luca Geatti , Enrico Marzano , Angelo Montanari , Nicola Saccomanno
• Minimal Rules from Decision Forests: A Systematic Approach 111-115
  Giovanni Pagliarini , Andrea Paradiso , Marco Perrotta , Guido Sciavicco
• A Comparison of Machine Learning Techniques for Ethereum Smart Contract Vulnerability Detection 119-126
  Matteo Rizzo , Dalila Ressi , Andrea Gasparetto , Sabina Rossi
• Run-time Monitoring for Robot-Assisted Surgery 127-133
  Kristina Gogoladze , Natasha Alechina , Zhaoyang Jacopo Hu , Haozheng Xu , Romy van Jaarsveld , Jelle P. Ruurda