default search action
OVERLAY 2020: Online Event / Bolzano, Italy
- Riccardo De Benedictis, Luca Geretti, Andrea Micheli:
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. CEUR Workshop Proceedings 2785, CEUR-WS.org 2020
Short Papers Technical Track
- Estrella Lucena-Sánchez, Guido Sciavicco, Ionel Eduard Stan:
Symbolic Learning with Interval Temporal Logic: the Case of Regression. 5-9 - Dario Della Monica, Angelo Montanari, Guido Sciavicco, Ionel Eduard Stan:
A Note on Ultimately-Periodic Finite Interval Temporal Logic Model Checking. 11-15 - Tiziano Dalmonte, Sara Negri, Nicola Olivetti, Gian Luca Pozzato:
Theorem Proving for Non-normal Modal Logics. 17-22 - Alessandro Artale, Andrea Mazzullo, Ana Ozaki:
Finite vs. Infinite Traces in Temporal Logics. 23-27 - Luca Bortolussi, Giuseppe Maria Gallo, Laura Nenzi:
A kernel function for Signal Temporal Logic formulae. 29-34 - Peipei Wu, Yanjun Li:
Reasoning in Multi-Agent Conformant Planning over Transition Systems. 35-40 - Qian Matteo Chen, Toni Mancini, Igor Melatti, Enrico Tronci, Alberto Finzi:
Optimal Fault-Tolerant Relay Node Positioning in Critical Wireless Networks via Artificial Intelligence. 41-46 - Salvatore La Torre, Gennaro Parlato:
A Fixed-point Model-checker for BDI Logics over Finite-state Worlds. 47-52 - Giulio Bernardi, Amedeo Cesta, Andrea Orlandini, Alessandro Umbrico, Marta Cialdea Mayer:
A Language for Timeline-based Planning. 53-58 - Stefano Sinisi, Vadim Alimguzhin, Toni Mancini, Enrico Tronci, Federico Mari, Brigitte Leeners:
AI-Guided Synthesis of Personalised Pharmacological Treatments via In Silico Clinical Trials. 59-64 - Parosh Aziz Abdulla, Mohamed Faouzi Atig, Giorgio Delzanno, Marco Montali, Arnaud Sangnier:
On the Formalization of Decentralized Contact Tracing Protocols. 65-70 - Igor Melatti, Vadim Alimguzhin, Federico Mari, Milan Prodanovic, Barry P. Hayes:
Electricity Network Constraint Management using Individualised Demand Aware Price Policies. 71-76 - Luca Bortolussi, Francesca Cairoli, Ginevra Carbone, Francesco Franchina:
Adversarial Learning of Robust and Safe Controllers for Cyber-Physical Systems. 77-81 - Andrea Brunello, Dario Della Monica, Angelo Montanari, Andrea Urgolo:
Learning How to Monitor: Pairing Monitoring and Learning for Online System Verification. 83-88 - Saumya Shankar, Ujwal V. R, Srinivas Pinisetty, Partha S. Roop:
Formal Runtime Monitoring Approaches for Autonomous Vehicles. 89-94 - Luca Bortolussi, Francesca Cairoli, Nicola Paoletti, Scott A. Smolka, Scott D. Stoller:
Bayesian Neural Predictive Monitoring. 95-100
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-29 00:27 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: