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.

  1. Luca Bortolussi, Francesca Cairoli, Ginevra Carbone and Francesco Franchina
    Adversarial Learning of Robust and Safe Controllers for Cyber-Physical Systems
  2. Luca Bortolussi, Francesca Cairoli, Nicola Paoletti, Scott Smolka and Scott Stoller
    Bayesian Neural Predictive Monitoring
  3. Peipei Wu and Yanjun Li
    Reasoning in Multi-Agent Conformant Planning over Transition Systems
  4. Estrella Lucena-Sánchez, Guido Sciavicco and Ionel Eduard Stan
    Symbolic Learning with Inteval Temporal Logic: The Case of Regression
  5. Dario Della Monica, Angelo Montanari, Guido Sciavicco and Ionel Eduard Stan
    A Note on Finite Ultimately-Periodic Interval Temporal Logic Model Checking
  6. Andrea Brunello, Dario Della Monica, Angelo Montanari and Andrea Urgolo
    Learning How to Monitor: Pairing Monitoring and Learning for Online System Verification
  7. 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
  8. 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
  9. Saumya Shankar, Ujwal V R, Srinivas Pinisetty and Partha Roop
    Formal Runtime Monitoring Approaches for Autonomous Vehicles
  10. Luca Bortolussi, Giuseppe Maria Gallo and Laura Nenzi
    A behavioral kernel function for Signal Temporal Logic
  11. Salvatore La Torre and Gennaro Parlato
    A Fixed-point Model-checker for BDI Logics overFinite-state Worlds
  12. Tiziano Dalmonte, Sara Negri, Nicola Olivetti and Gian Luca Pozzato
    Theorem Proving for Non-normal Modal Logics
  13. Alessandro Artale, Andrea Mazzullo and Ana Ozaki
    Finite vs. Infinite Traces in Temporal Logics
  14. Parosh A. Abdulla, Giorgio Delzanno, Marco Montali and Arnaud Sangnier
    On the Verification of Decentralized Contact Tracing Protocols
  15. Igor Melatti, Vadim Alimguzhin, Federico Mari, Milan Prodanovic and Barry Hayes
    Electricity Network Constraint Management using Individualised Demand Aware Price Policies
  16. Giulio Bernardi, Amedeo Cesta, Andrea Orlandini, Alessandro Umbrico and Marta Cialdea Mayer
    A Language for Timeline-based Planning