|  | Vol-2987 urn:nbn:de:0074-2987-2 Copyright © 2021 for the individual papers by the papers' authors. Copyright © 2021 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 2021
Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis 2021

### Proceedings of the 3rd Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis
hosted by the Twelfth International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2021)

### Padua, Italy, September 22, 2021.

Edited by

### Dario Della Monica *
Gian Luca Pozzato **
Enrico Scala ***

* University of Udine, Department of Mathematics, Computer Science and Physics, Udine, Italy
** University of Turin, Department of Computer Science, Turin, Italy
*** University of Brescia, Dipartimento di Ingegneria dell'Informazione, Brescia, Italy

## Table of Contents

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

### Short Papers Technical Track

- Planning with Global State Constraints for Urban Traffic Control 1-5
  Franc Ivankovic, Marco Roveri
- BLACK: A Fast, Flexible and Reliable LTL Satisfiability Checker 7-12
  Luca Geatti, Nicola Gigante, Angelo Montanari
- Automated Planning Through Program Verification 13-17
  Salvatore La Torre, Gennaro Parlato
- Rule-based Shield Synthesis for Partially Observable Monte Carlo Planning 19-23
  Giulio Mazzi, Alberto Castellini, Alessandro Farinelli
- Dynamic Attack Trees 25-29
  Aliyu Tanko Ali, Damas Gruska
- Mining Temporal Networks: Results and Open Problems 31-36
  Guido Sciavicco, Tiziano Villa, Matteo Zavatteri
- Multi-Frame Modal Symbolic Learning 37-41
  Giovanni Pagliarini, Guido Sciavicco, Ionel Eduard Stan
- Automated Reasoning for Reinforcement Learning Agents in Structured Environments 43-48
  Alessandro Gianola, Marco Montali, Matteo Papini
- Using Directional Arc Consistency with Asynchronous Forward-Bounding algorithm 49-53
  Rachid Adrdor, Lahcen Koutti
- Statistical Model Checking for the Analysis of Mission- and Safety-Critical Cyber-Physical Systems 55-59
  Angela Pappagallo
- On the Parameterized Verification of Abstract Models of Contact Tracing Protocols 61-66
  Sylvain Conchon, Giorgio Delzanno, Arnaud Sangnier
- Towards Learning From Graph Representable Formal Models 67-71
  Marco Sälzer, Georg Siebert
- A Software Tool for the Formal Synthesis of Lyapunov Functions and Barrier Certificates using Neural Networks 73-75
  Alessandro Abate, Daniele Ahmed, Alec Edwards, Mirco Giacobbe, Andrea Peruffo
- Ranking Model Checking Backends for Automated Selection via Classification and Regression Learning 77-82
  Jannik Dunkelau, Leo Baldus
- Preferential Reasoning with Typicality and Neural Network Models (Extended Abstract) 83-89
  Laura Giordano, Valentina Gliozzi, Daniele Theseider Dupré
- Reverse engineering with P-stable Abstractions 91-95
  Anna Becchi, Alessandro Cimatti, Enea Zaffanella
- AI-guided optimal deployments of drone-intercepting systems in large critical areas 97-101
  Marco Esposito
- QUGA - Quality Guarantees for Autoencoders 103-107
  Benedikt Böing, Rajarshi Roy, Daniel Neider, Emmanuel Müller
- Simulation-Based Synthesis of Personalised Therapies for Colorectal Cancer 109-113
  Marco Esposito, Leonardo Picchiami

2021-10-17: submitted by Gian Luca Pozzato, metadata incl. bibliographic data published under Creative Commons CC0
2021-10-17: published on CEUR Workshop Proceedings (CEUR-WS.org, ISSN 1613-0073) |valid HTML5|