OVERLAY

Keyphrases

Publications

2020

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

volume 2785, 2020

Proceedings of the 2nd Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis hosted by the Bolzano Summer of Knowledge 2020 (BOSK 2020), September 25, 2020. OVERLAY 2785 (2020)