default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID1st OVERLAY@AI*IA 2019: Rende, Italy
- Nicola Gigante, Federico Mari, Andrea Orlandini:
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, OVERLAY@AI*IA 2019, Rende, Italy, November 19-20, 2019. CEUR Workshop Proceedings 2509, CEUR-WS.org 2020
Invited Talk
- Mohammadhosein Hasanbeig, Daniel Kroening, Alessandro Abate:
Towards Verifiable and Safe Model-Free Reinforcement Learning. 1
Technical Track (Short Papers)
- Salvatore La Torre, Gennaro Parlato:
Model Checking BDI Logics over Finite-state Worlds. 11-16 - Vadim Alimguzhin, Toni Mancini, Annalisa Massini, Stefano Sinisi, Enrico Tronci:
In Silico Clinical Trials through AI and Statistical Model Checking. 17-22 - Joanna Golinska-Pilarek, Michal Zawidzki
:
Tableau-based Decision Procedure for the Logic SCI. 23-28 - Davide Bresolin, Luca Geretti, Tiziano Villa:
Automated Verification of Noisy Nonlinear Cyber-Physical Systems with Ariadne. 29-34 - Giorgio Delzanno:
Towards the Automated Verification of Publish/Subscribe Networks. 35-40 - Laura Giordano, Alberto Martelli, Daniele Theseider Dupré:
Verification with Answer Set Programming, Reasoning about Actions and Change, Constraints and Ontologies. 41-46 - Dario Della Monica, Adrian Francalanza:
Pushing Runtime Verification to the Limit: May Process Semantics Be With Us. 47-52 - Marco Faella, Luigi Sauro:
Preference Theories on Weak Orders. 53-58 - Francesco Ranzato, Marco Zanella:
Robustness Verification of Decision Tree Ensembles. 59-64 - Estrella Lucena-Sánchez, Emilio Muñoz-Velasco, Guido Sciavicco, Ionel Eduard Stan, Alessandro Vaccari:
Towards Interval Temporal Logic Rule-Based Classification. 65-70 - Andrea Brunello, Dario Della Monica, Angelo Montanari:
Pairing Monitoring with Machine Learning for Smart System Verification and Predictive Maintenance. 71-76 - Matteo Zavatteri, Romeo Rizzi, Tiziano Villa:
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 - Annarita Lanzilli, Marta Cialdea Mayer, Amedeo Cesta, Andrea Orlandini, Alessandro Umbrico:
A Prototype for the Robust Execution of Flexible Plans. 89-93 - Vadim Alimguzhin, Federico Mari, Igor Melatti:
Control Software Synthesis for Cyber-Physical Systems with QKS. 95-100 - Eleonora Pippia, Arianna Bozzato, Emidio Tiberi, Riccardo Furlanetto, Alberto Policriti:
Optimization and Multistage Systems. The Thawing Case. 101-106
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-09-18 00:01 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
