The workshop will take place in the afternoons of the 19th and 20th November, as part of the general program of AI*IA 2019.

The workshop of the program include a rich set of presentations from all the OVERLAY thematic areas, a great invited talk, and a final discussion panel.

We are looking forward to meet you all in Rende!

Tuesday 19th

14:00 — 14:15
Welcome and presentation of the OVERLAY group
14:15 — 15:15
Invited talk
Certified Reinforcement Learning with Logic Guidance
Alessandro Abate
Model Checking and Decision Procedures
15:15 — 15:30
BDI Logics over Finite-state Worlds
Salvatore La Torre and Gennaro Parlato
15:30 — 15:45
In Silico Clinical Trials through AI and Statistical Model Checking
Vadim Alimguzhin, Toni Mancini, Annalisa Massini, Stefano Sinisi and Enrico Tronci
  Coffee break
16:15 — 16:30
Tableau-based decision procedure for the logic SCI
Joanna Golińska-Pilarek and Michal Zawidzki
Formal Verification
16:30 — 16:45
Automated verification of noisy nonlinear cyber-physical systems with Ariadne
Davide Bresolin, Luca Geretti and Tiziano Villa
16:45 — 17:00
Towards the Automated Verification of Publish/Subscribe Networks
Giorgio Delzanno
17:00 — 17:15
Verification with Answer Set Programming, Reasoning about Actions and Change, Constraints and Ontologies
Laura Giordano, Alberto Martelli and Daniele Theseider Dupré
17:15 — 17:30
Pushing runtime verification to the limit: May process semantics be with us
Dario Della Monica and Adrian Francalanza

Wednesday 20th

Formal methods and logics
15:00 — 15:15
Preference theories on weak orders
Marco Faella and Luigi Sauro
15:15 — 15:30
Robustness Verification of Decision Tree Ensembles
Francesco Ranzato and Marco Zanella
15:30 — 15:45
Towards Interval Temporal Logic Rule-Based Classification
Estrella Lucena-Sánchez, Emilio Muñoz-Velasco, Guido Sciavicco, Ionel Eduard Stan and Alessandro Vaccari
  Coffee break
16:15 — 16:30
Pairing monitoring with machine learning for smart system verification and predictive maintenance
Andrea Brunello, Dario Della Monica and Angelo Montanari
Hybrid Systems and Control
16:30 — 16:45
Strong Controllability of Temporal Networks with Decisions
Matteo Zavatteri, Romeo Rizzi and Tiziano Villa
16:45 — 17:00
Complexity of Weak, Strong and Dynamic Controllability of CNCUs
Matteo Zavatteri, Romeo Rizzi and Tiziano Villa
17:00 — 17:15
A prototype for the robust execution of flexible plans
Annarita Lanzilli, Amedeo Cesta, Marta Cialdea Mayer, Andrea Orlandini and Alessandro Umbrico
17:15 — 17:30
Control Software Synthesis for Cyber-Physical Systems with QKS
Vadim Alimguzhin, Federico Mari and Igor Melatti
17:30 — 17:45
Optimization and Multistage Systems. The Thawing Case
Eleonora Pippia, Arianna Bozzato, Emidio Tiberi, Riccardo Furlanetto and Alberto Policriti
17:45 — 18:30
Panel on Formal Methods and AI