Vol-2508⫷ Vol-2509 ⫸Vol-2510
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 |