OVERLAY 2020
Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis 2020

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