Vol-2509
urn:nbn:de:0074-2509-5

Copyright © 2020 for the individual papers by the papers' authors. Copyright © 2020 for the volume as a collection by its editors. This volume and its papers are published under the Creative Commons License Attribution 4.0 International (CC BY 4.0).

OVERLAY 2019
Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis

Proceedings of the 1st Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis
co-located with the 18th International Conference of the Italian Association for Artificial Intelligence (AI*IA 2019)

Rende, Italy, November 19‐20, 2019.

Edited by

Nicola Gigante *
Federico Mari
AndreA Orlandini *

* University of Udine, Department of Mathematics, Computer Science and Physics, Udine, Italy
** University of Rome Foro Italico, Department of Movement, Human and Health Sciences, Rome, Italy
*** National Research Council, Institute of Cognitive Sciences and Technologies, Rome, Italy

Table of Contents

Invited Talk

Towards Verifiable and Safe Model-Free Reinforcement Learning 1
Mohammadhosein Hasanbeig, Daniel Kroening, Alessandro Abate

Technical Track (Short Papers)

Model Checking BDI Logics over Finite-state Worlds 11-16
Salvatore La Torre, Gennaro Parlato

In Silico Clinical Trials through AI and Statistical Model Checking 17-22
Vadim Alimguzhin, Toni Mancini, Annalisa Massini, Stefano Sinisi, Enrico Tronci

Tableau-based Decision Procedure for the Logic SCI 23-28
Joanna Golińska-Pilarek, Michał Zawidzki

Automated Verification of Noisy Nonlinear Cyber-Physical Systems with Ariadne 29-34
Davide Bresolin, Luca Geretti, Tiziano Villa

Towards the Automated Verification of Publish/Subscribe Networks 35-40
Giorgio Delzanno

Verification with Answer Set Programming, Reasoning about Actions and Change, Constraints and Ontologies 41-46
Laura Giordano, Alberto Martelli, Daniele Theseider Dupré

Pushing Runtime Verification to the Limit: May Process Semantics Be With Us 47-52
Dario Della Monica, Adrian Francalanza

Preference Theories on Weak Orders 53-58
Marco Faella, Luigi Sauro

Robustness Verification of Decision Tree Ensembles 59-64
Francesco Ranzato, Marco Zanella

Towards Interval Temporal Logic Rule-Based Classification 65-70
Estrella Lucena-Sánchez, Emilio Muñoz-Velasco, Guido Sciavicco, Ionel Eduard Stan, Alessandro Vaccari

Pairing Monitoring with Machine Learning for Smart System Verification and Predictive Maintenance 71-76
Andrea Brunello, Dario Della Monica, Angelo Montanari

Strong Controllability of Temporal Networks with Decisions 77-82
Matteo Zavatteri, Romeo Rizzi, Tiziano Villa

Complexity of Weak, Strong and Dynamic Controllability of CNCUs 83-88
Matteo Zavatteri, Romeo Rizzi, Tiziano Villa

A Prototype for the Robust Execution of Flexible Plans 89-93
Annarita Lanzilli, Marta Cialdea Mayer, Amedeo Cesta, Andrea Orlandini, Alessandro Umbrico

Control Software Synthesis for Cyber-Physical Systems with QKS 95-100
Vadim Alimguzhin, Federico Mari, Igor Melatti

Optimization and Multistage Systems. The Thawing Case 101-106
Eleonora Pippia, Arianna Bozzato, Emidio Tiberi, Riccardo Furlanetto, Alberto Policriti

2020-02-26: submitted by Nicola Gigante, metadata incl. bibliographic data published under Creative Commons CC0
2020-03-03: published on CEUR Workshop Proceedings (CEUR-WS.org, ISSN 1613-0073) |valid HTML5|