|  | Vol-3311 urn:nbn:de:0074-3311-3 Copyright © 2022 for the individual papers by the papers' authors. Copyright © 2022 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 2022
4th Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis

### Short Paper Proceedings of the 4th Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis
hosted by the 21st International Conference of the Italian Association for Artificial Intelligence (AIxIA 2022)

### Udine, Italy, November 28, 2022.

Edited by

### Luca Geatti *
Guido Sciavicco **
Alessandro Umbrico ***

* University of Udine, Department of Mathematics, Computer Science and Physics, Udine, Italy
** University of Ferrara, Department of Mathematics and Computer Science, Ferrara, Italy
*** ISTC-CNR, National Research Council, Rome, Italy

## Table of Contents

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

### Short Papers Technical Track

- Neural Network Verification with DSE 1-6
  Benedikt Böing, Falk Howar, Jelle Hüntelmann, Emmanuel Müller, Richard Stewing

- Constrained Training of Neural Networks via Theorem Proving 7-12
  Mark Chevallier, Matthew Whyte, Jacques Fleuriot

- LTL Modulo Theories over Finite Traces: modeling, verification, open questions 13-19
  Alessandro Gianola, Nicola Gigante

- Formally Reasoning about Strategies in Mechanisms 21-26
  Munyque Mittelmann

- Dynamic Controllability of Temporal Networks via Supervisory Control 27-31
  Matteo Zavatteri, Davide Bresolin, Romeo Rizzi, Tiziano Villa

- DELPHIC: Towards an Efficient Possibility-based Epistemic Planning Framework 33-37
  Alessandro Burigana, Paolo Felli, Marco Montali

- Reasoning about Reachability and Concurrency in DEL Games 39-43
  Silvia Stranieri

- Formal Methods Meet XAI: the Tool DEGARI 2.0 for Social Inclusion 45-50
  Antonio Lieto, Gian Luca Pozzato, Manuel Striani, Stefano Zoia, Rossana Damiano

- An Application of Reinforcement Learning in Industrial Cyber-Physical Systems 51-55
  David Heik, Fouad Bahrpeyma, Dirk Reichelt

- Regression Trees for System Models and Prediction 57-61
  Swantje Plambeck, Görschwin Fey

- Formal Certification of Surrogate Models for Cyber-Physical Systems Verification 63-71
  Marco Esposito, Leonardo Picchiami

- Uniform Interpolation for the Automated Verification of Data-Aware Business Processes 73-79
  Alessandro Gianola

- Multi-Models and Multi-Formulas Finite Model Checking for Modal Logic Formulas Induction 81-85
  Mauro Milella, Giovanni Pagliarini, Andrea Paradiso, Ionel Eduard Stan

- A Modular SMT-based Approach for Data-aware Conformance Checking 87-92
  Paolo Felli, Alessandro Gianola, Marco Montali, Andrey Rivkin, Sarah Winkler

- From POMDP Executions to Probabilistic Axioms 93-98
  Daniele Meli, Giulio Mazzi, Alberto Castellini, Alessandro Farinelli

2022-12-22: submitted by Luca Geatti, Nicola Gigante, metadata incl. bibliographic data published under Creative Commons CC0
2022-12-28: published on CEUR Workshop Proceedings (CEUR-WS.org, ISSN 1613-0073) |valid HTML5|