|  | Vol-3629 urn:nbn:de:0074-3629-8 Copyright © 2023 for the individual papers by the papers' authors. Copyright © 2023 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).

# OVERLAY 2023
Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis 2023

### Short Paper Proceedings of the 5th Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis
hosted by the 22nd International Conference of the Italian Association for Artificial Intelligence (AIxIA 2023)

### Rome, Italy, November 7, 2023.

Edited by

### Andrea Brunello *
Alessandro Gianola **
Fabio Mogavero ***

* University of Udine, Udine, Italy
** INESC-ID / IST, Universidade de Lisboa, Lisbon, Portugal
*** Università di Napoli Federico II, Naples, Italy

## 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

- Formal Design of Cyber-Physical Systems with Learning-Enabled Components 1-5
  Thao Dang

- On Challenges and Opportunities in the Translation of Deep Neural Networks into Finite Automata 7-11
  Marco Sälzer, Eric Alsmann, Martin Lange

- Towards Machine Learning Enhanced LTL Monitoring 13-19
  Luca Geatti, Angelo Montanari, Nicola Saccomanno

- Towards Large Language Model Architectures for Knowledge Acquisition and Strategy Synthesis 21-29
  Paolo Giorgini, Andrea Mazzullo, Marco Robol, Marco Roveri

- ODD-Based Health Monitoring and Predictive Maintenance of Degrading Vehicle Functionality 31-36
  Yannick Kees, Gerald Sauter, Ryan Mut, Benedikt Franke, Frank Köster, Sven Hallerbach

- Automata-Based Temporal Reasoning in Answer Set Programming with Application to Process Mining information 37-42
  Francesco Chiariello

- A First-Order Interval Temporal Logic for Adjacent Variables Temporal Data 43-47
  Guido Sciavicco

- Heuristic Minimization Modulo Theory of Modal Decision Trees Class-Formulas 49-53
  Giovanni Pagliarini, Andrea Paradiso, Sasha Rubin, Guido Sciavicco, Ionel Eduard Stan

- Revisiting Formal Verification in VeriSolid: An Analysis and Enhancements 55-60
  Atefeh Zareh Chahoki, Marco Roveri, Daniel Amyot, John Mylopoulos

- Towards Compliance of Smart Contracts with the European Union Data Act 61-66
  Luca Olivieri, Luca Pasetto

- Forward LTLf Synthesis: DPLL At Work 67-72
  Marco Favorito

- Composition of Nondeterministic Services for LTLf Task Specification 73-77
  Giuseppe De Giacomo, Marco Favorito, Luciana Silo

- Tree Kernels to Support Formal Methods-based Testing of Evolving Specifications 79-84
  Francesco Altiero, Anna Corazza, Sergio Di Martino, Adriano Peron, Luigi Libero Lucio Starace

- A Landscape of First-Order Linear Temporal Logics in Infinite-State Verification and Temporal Ontologies 85-92
  Alessandro Artale, Luca Geatti, Nicola Gigante, Andrea Mazzullo

- Clock Specifications for Temporal Tasks in Planning and Learning 93-98
  Giuseppe De Giacomo, Marco Favorito, Fabio Patrizi

2024-01-24: submitted by Nicola Gigante, Fabio Mogavero, metadata incl. bibliographic data published under Creative Commons CC0
2024-01-29: published on CEUR Workshop Proceedings (CEUR-WS.org, ISSN 1613-0073) |valid HTML5|