Program
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
Model Checking and Decision Procedures
15:15 — 15:30
BDI Logics over Finite-state Worlds
15:30 — 15:45
In Silico Clinical Trials through AI and Statistical Model Checking
Coffee break
16:15 — 16:30
Tableau-based decision procedure for the logic SCI
Formal Verification
16:30 — 16:45
Automated verification of noisy nonlinear cyber-physical systems with Ariadne
16:45 — 17:00
Towards the Automated Verification of Publish/Subscribe Networks
17:00 — 17:15
Verification with Answer Set Programming, Reasoning about Actions and Change, Constraints and Ontologies
17:15 — 17:30
Pushing runtime verification to the limit: May process semantics be with us
Wednesday 20th
Formal methods and logics
15:00 — 15:15
Preference theories on weak orders
15:15 — 15:30
Robustness Verification of Decision Tree Ensembles
15:30 — 15:45
Towards Interval Temporal Logic Rule-Based Classification
Coffee break
16:15 — 16:30
Pairing monitoring with machine learning for smart system verification and predictive maintenance
Hybrid Systems and Control
16:30 — 16:45
Strong Controllability of Temporal Networks with Decisions
16:45 — 17:00
Complexity of Weak, Strong and Dynamic Controllability of CNCUs
17:00 — 17:15
A prototype for the robust execution of flexible plans
17:15 — 17:30
Control Software Synthesis for Cyber-Physical Systems with QKS
17:30 — 17:45
Optimization and Multistage Systems. The Thawing Case
17:45 — 18:30
Panel on Formal Methods and AI