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|