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

### Proceedings of the 2nd Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis
hosted by the Bolzano Summer of Knowledge 2020 (BOSK 2020)

### September 25, 2020.

Edited by

### Riccardo De Benedictis *
Luca Geretti **
Andrea Micheli ***

* National Research Council, Institute of Cognitive Sciences and Technologies, Rome, Italy
** University of Verona, Department of Computer Science, Verona, Italy
*** Fondazione Bruno Kessler, Digital Industry Center, Embedded Systems Unit, Trento, Italy

## Table of Contents

- Cover Page and Table of Contents
- Preface
  Summary: There were 16 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

- Verifying Autonomous Robots: Challenges and Reflections 1
  Clare Dixon

### Short Papers Technical Track

- Symbolic Learning with Interval Temporal Logic: the Case of Regression 5-9
  Estrella Lucena-Sanchez, Guido Sciavicco, Ionel Eduard Stan

- A Note on Ultimately-Periodic Finite Interval Temporal Logic Model Checking 11-15
  Dario Della Monica, Angelo Montanari, Guido Sciavicco, Ionel Eduard Stan

- Theorem Proving for Non-normal Modal Logics 17-22
  Tiziano Dalmonte, Sara Negri, Nicola Olivetti, Gian Luca Pozzato

- Finite vs. Infinite Traces in Temporal Logics 23-27
  Alessandro Artale, Andrea Mazzullo, Ana Ozaki

- A kernel function for Signal Temporal Logic formulae 29-34
  Luca Bortolussi, Giuseppe Maria Gallo, Laura Nenzi

- Reasoning in Multi-Agent Conformant Planning over Transition Systems 35-40
  Peipei Wu, Yanjun Li

- Optimal Fault-Tolerant Relay Node Positioning in Critical Wireless Networks via Artificial Intelligence 41-46
  Qian Matteo Chen, Toni Mancini, Igor Melatti, Enrico Tronci, Alberto Finzi

- A Fixed-point Model-checker for BDI Logics over Finite-state Worlds 47-52
  Salvatore La Torre, Gennaro Parlato

- A Language for Timeline-based Planning 53-58
  Giulio Bernardi, Amedeo Cesta, Andrea Orlandini, Alessandro Umbrico, Marta Cialdea Mayer

- AI-Guided Synthesis of Personalised Pharmacological Treatments via In Silico Clinical Trials 59-64
  S. Sinisi, V. Alimguzhin, T. Mancini, E. Tronci, F. Mari, B. Leeners

- On the Formalization of Decentralized Contact Tracing Protocols 65-70
  P. A. Abdulla, M. F. Atig, G. Delzanno, M. Montali, A. Sangnier

- Electricity Network Constraint Management using Individualised Demand Aware Price Policies 71-76
  I. Melatti, V. Alimguzhin, F. Mari, M. Prodanovic , B. Hayes

- Adversarial Learning of Robust and Safe Controllers for Cyber-Physical Systems 77-81
  Luca Bortolussi, Francesca Cairoli, Ginevra Carbone, Francesco Franchina

- Learning How to Monitor: Pairing Monitoring and Learning for Online System Verification 83-88
  Andrea Brunello, Dario Della Monica, Angelo Montanari, Andrea Urgolo

- Formal Runtime Monitoring Approaches for Autonomous Vehicles 89-94
  Saumya Shankar, Ujwal V R, Srinivas Pinisetty, Partha Roop

- Bayesian Neural Predictive Monitoring 95-100
  Luca Bortolussi, Francesca Cairoli, Nicola Paoletti, S. A. Smolka, S. D. Stoller

2020-12-15: submitted by Andrea Micheli, metadata incl. bibliographic data published under Creative Commons CC0
2020-12-21: published on CEUR Workshop Proceedings (CEUR-WS.org, ISSN 1613-0073) |valid HTML5|