OVERLAY 2022
4th Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis

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