Program

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.

Video conferencing platform

The conference will take place on the Zoom platform.
No registration is required to attend.

Click HERE to join!

The workshop of the program include 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, which uses the Zoom platform.

Click HERE to join!

  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