The workshop will take place on Friday September 25th, as part of BOSK 2020. Due to the COVID-19 pandemic, the event will take place online.

The program of the workshop includes a rich set of presentations from all the OVERLAY thematic areas, and a great invited talk shared with the TIME 2020 symposium.

We are looking forward to meet you all (virtually)!

Friday 25th

All times are Central European Summer Time (UTC+2)
9:15 — 9:30
Welcome and presentation of the OVERLAY group
Theorem proving and Logics
9:30 — 9:45
Symbolic Learning with Interval Temporal Logic: The Case of Regression
Estrella Lucena-Sánchez, Guido Sciavicco, Ionel Eduard Stan
9:45 — 10:00
A Note on Finite Ultimately-Periodic Interval Temporal Logic Model Checking
Dario Della Monica, Angelo Montanari, Guido Sciavicco, Ionel Eduard Stan
10:00 — 10:15
Theorem Proving for Non-normal Modal Logics
Tiziano Dalmonte, Sara Negri, Nicola Olivetti, Gian Luca Pozzato
10:15 — 10:30
Finite vs. Infinite Traces in Temporal Logics
Alessandro Artale, Andrea Mazzullo, Ana Ozaki
10:30 — 10:45
A kernel function for Signal Temporal Logic formulae
Luca Bortolussi, Giuseppe Maria Gallo, Laura Nenzi
Invited talk
11:00 — 12:00
Invited talk • Shared with TIME 2020
Verifying Autonomous Robots: Challenges and Reflections
Claire Dixon

The event is shared with TIME 2020.

  Lunch break
Planning and Model Checking
13:00 — 13:15
Reasoning in Multi-Agent Conformant Planning over Transition Systems
Peipei Wu, Yanjun Li
13:15 — 13:30
Optimal Fault-Tolerant Relay Node Positioning in Critical Wireless Networks via Artificial Intelligence
Quian Matteo Chen, Toni Mancini, Igor Melatti, Enrico Tronci, Alberto Finzi
13:30 — 13:45
A Fixed-point Model-checker for BDI Logics over Finite-state Worlds
Salvatore La Torre, Gennaro Parlato
13:45 — 14:00
A Language for Timeline-based Planning
Giulio Bernardi, Amedeo Cesta, Andrea Orlandini, Alessandro Umbrico, Marta Cialdea Mayer
  Coffee break
Verification and Synthesis
14:15 — 14:30
AI-Guided Synthesis of Personalised Pharmacological Treatments via In Silico Clinical Trials
Stefano Sinisi, Vadim Alimguzhin, Toni Mancini, Enrico Tronci, Federico Mari, Brigitte Leeners
14:30 — 14:45
On the Verification of Decentralized Contact Tracing Protocols
Parosh A. Abdulla, Giorgio Delzanno, Marco Montali, Arnaud Sangnier
14:45 — 15:00
Electricity Network Constraint Management using Individualised Demand Aware Price Policies
Igor Melatti, Vadim Alimguzhin, Federico Mari, Milan Prodanovic, Barry Hayes
  Coffee break
Execution and Monitoring
15:15 — 15:30
Adversarial Learning of Robust and Safe Controllers for Cyber-Physical Systems
Luca Bortolussi, Francesca Cairoli, Ginevra Carbone, Francesco Franchina
13:30 — 15:45
Learning How to Monitor: Pairing Monitoring and Learning for Online System Verification
Andrea Brunello, Dario Della Monica, Angelo Montanari, Andrea Urgolo
15:45 — 16:00
Formal Runtime Monitoring Approaches for Autonomous Vehicles
Saumya Shankar, Ujwal V R, Srinivas Pinisetty, Partha Roop
16:00 — 16:15
Bayesian Neural Predictive Monitoring
Luca Bortolussi, Francesca Cairoli, Nicola Paoletti, Scott Smolka, Scott Stoller
16:15 — 16:30
Concluding remarks