Accepted papers
We are glad to announce the sixteen papers accepted for presenting at the OVERLAY 2020 workshop. The conference program will be announced shortly.
-
Luca Bortolussi, Francesca Cairoli, Ginevra Carbone and Francesco Franchina
Adversarial Learning of Robust and Safe Controllers for Cyber-Physical Systems -
Luca Bortolussi, Francesca Cairoli, Nicola Paoletti, Scott Smolka and Scott Stoller
Bayesian Neural Predictive Monitoring -
Peipei Wu and Yanjun Li
Reasoning in Multi-Agent Conformant Planning over Transition Systems -
Estrella Lucena-Sánchez, Guido Sciavicco and Ionel Eduard Stan
Symbolic Learning with Inteval Temporal Logic: The Case of Regression -
Dario Della Monica, Angelo Montanari, Guido Sciavicco and Ionel Eduard Stan
A Note on Finite Ultimately-Periodic Interval Temporal Logic Model Checking -
Andrea Brunello, Dario Della Monica, Angelo Montanari and Andrea Urgolo
Learning How to Monitor: Pairing Monitoring and Learning for Online System Verification -
Quian Matteo Chen, Toni Mancini, Igor Melatti, Enrico Tronci and Alberto Finzi
Optimal Fault-Tolerant Relay Node Positioning in Critical Wireless Networks via Artificial Intelligence and Model Checking -
Stefano Sinisi, Vadim Alimguzhin, Toni Mancini, Enrico Tronci, Federico Mari and Brigitte Leeners
AI-Guided Synthesis of Personalised Pharmacological Treatments via In Silico Clinical Trials -
Saumya Shankar, Ujwal V R, Srinivas Pinisetty and Partha Roop
Formal Runtime Monitoring Approaches for Autonomous Vehicles -
Luca Bortolussi, Giuseppe Maria Gallo and Laura Nenzi
A behavioral kernel function for Signal Temporal Logic -
Salvatore La Torre and Gennaro Parlato
A Fixed-point Model-checker for BDI Logics overFinite-state Worlds -
Tiziano Dalmonte, Sara Negri, Nicola Olivetti and Gian Luca Pozzato
Theorem Proving for Non-normal Modal Logics -
Alessandro Artale, Andrea Mazzullo and Ana Ozaki
Finite vs. Infinite Traces in Temporal Logics -
Parosh A. Abdulla, Giorgio Delzanno, Marco Montali and Arnaud Sangnier
On the Verification of Decentralized Contact Tracing Protocols -
Igor Melatti, Vadim Alimguzhin, Federico Mari, Milan Prodanovic and Barry Hayes
Electricity Network Constraint Management using Individualised Demand Aware Price Policies -
Giulio Bernardi, Amedeo Cesta, Andrea Orlandini, Alessandro Umbrico and Marta Cialdea Mayer
A Language for Timeline-based Planning