default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID6th OVERLAY@AI*IA 2024: Bolzano, Italy
- Daniele Porello, Cosimo Vinci, Matteo Zavatteri:
Short Paper Proceedings of the 6th International Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis, OVERLAY 2024, Bolzano, Italy, November 28-29, 2024. CEUR Workshop Proceedings 3904, CEUR-WS.org 2025
Short Papers Technical Track
- Davide Bresolin, Filippo Fantinato, Stefano Tonetta:
Model Checking of Optimal LTL and ASAP Properties. 3-11 - Leonardo Picchiami:
On Optimizing Simulation-Based Verification of Cyber-Physical Systems via Statistical Model Checking: a Preliminary Work. 13-21 - Davide Bresolin, Pieter Collins, Luca Geretti, Roberto Segala, Tiziano Villa:
Recent Results on Computable and Compositional Semantics for Hybrid Systems. 23-29 - Mario Alviano, Laura Giordano, Daniele Theseider Dupré:
Temporal Many-valued Conditional Logics: an Abridged Report. 33-40 - Antonella Bilotta, Marco Maggesi, Cosimo Perini Brogi, Leonardo Quartini:
Growing HOLMS, a HOL Light Library for Modal Systems. 41-48 - Antonio Ielo, Giuseppe Mazzotta, Francesco Ricca, Rafael Peñaloza:
Towards ASP-based Minimal Unsatisfiable Cores Enumeration for LTLf. 49-55 - Stef Frijters, Matteo Pascucci:
Formalizing Decisional and Operational Roles in Legal Contracts via Term-Modal Logic. 57-63 - Gonzalo Jaimovitch-López, Luca Bergamin, Fabio Aiolli, Roberto Confalonieri:
Integrating L0 regularization into Multi-layer Logical Perceptron for Interpretable Classification. 67-75 - Matteo Zavatteri, Davide Bresolin, Nicolò Navarin:
Automated Synthesis of Certified Neural Networks: Initial Results and Open Research Lines. 77-82 - Giovanni Pagliarini, Edoardo Ponsanesi, Guido Sciavicco, Ionel Eduard Stan:
Towards Modern Rule-Based Learning. 83-88 - Stefan Reifberger:
Formal Logical Reasoning With Transformers and Their Place on the Chomsky Hierarchy. 89-94 - Guillermo Badia, Carles Noguera, Alberto Paparella, Guido Sciavicco:
Many-Expert Decision Trees. 97-102 - Andrea Brunello, Riccardo Ferrarese, Luca Geatti, Enrico Marzano, Angelo Montanari, Nicola Saccomanno:
Evaluating LLMs Capabilities at Natural Language to Logic Translation: A Preliminary Investigation. 103-110 - Giovanni Pagliarini, Andrea Paradiso, Marco Perrotta, Guido Sciavicco:
Minimal Rules from Decision Forests: A Systematic Approach. 111-115 - Matteo Rizzo, Dalila Ressi, Andrea Gasparetto, Sabina Rossi:
A Comparison of Machine Learning Techniques for Ethereum Smart Contract Vulnerability Detection. 119-126 - Kristina Gogoladze, Natasha Alechina, Zhaoyang Jacopo Hu, Haozheng Xu, Romy C. van Jaarsveld, Jelle P. Ruurda:
Run-time Monitoring for Robot-Assisted Surgery. 127-133
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 2025-11-28 23:52 CET 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:
