Program
The workshop will take place on Monday November 28th, the first day of AIxIA 2022.
The program of the workshop includes a rich set of presentations from all the OVERLAY thematic areas, and a great invited talk.
Note for speakers:
- Contributed talks will be given a slot of ~20 minutes. We would like to leave more room for discussion so we suggest to organize your time in order to reserve approximately 15 minutes for the talk and 5 minutes for the discussion.
We are looking forward to meeting you all in Udine!
Monday 28th
9:55 — 10:00
Welcome and opening of the workshop
Neural Networks
Chair: Marco Esposito
10:00 — 10:20
Neural Network Verification with DSE
10:20 — 10:40
Constrained Training of Neural Networks via Theorem Proving
Coffee break
Temporal Reasoning
Chair: Luca Geatti
11:15 — 11:35
LTL Modulo Theories over Finite Traces: modeling, verification, open questions
11:35 — 11:55
Formally Reasoning about Strategies in Mechanisms
11:55 — 12:15
Dynamic Controllability of Temporal Networks via Supervisory Control
Epistemic Logic
Chair: Alessandro Gianola
12:15 — 12:35
DELPHIC: Towards an Efficient Possibility-based Epistemic Planning Framework
12:35 — 12:50
Reasoning about reachability and concurrency in DEL games
Lunch break
Invited talk
14:00 — 14:40
Invited talk
stl2vec: semantic preserving embeddings of signal temporal logic
Applications
Chair: Nicola Gigante
14:40 — 15:00
Formal Methods meet XAI: the tool DEGARI 2.0 for Social Inclusion
15:00 — 15:20
An application of reinforcement learning in industrial cyber-physical systems
15:20 — 15:40
Regression Trees for System Models and Prediction
Coffee break
Model Checking
Chair: Guido Sciavicco
16:15 — 16:35
Formal Certification of Surrogate Models for Cyber-Physical Systems Verification
16:35 — 16:55
Uniform Interpolation for the Automated Verification of Data-Aware Business Processes
16:55 — 17:15
Multi-Models and Multi-Formulas Finite Model Checking for Modal Logic Formulas Induction
SMT and Markov Chains
Chair: Davide Bresolin
17:15 — 17:35
A Modular SMT-based Approach for Data-aware Conformance Checking
17:35 — 17:55
From POMDP executions to probabilistic axioms
17:55 — 18:00
Closing