Publications HAL de la collection SAIF

2025

Journal articles

titre
EcoSearch: A Constant-Delay Best-First Search Algorithm for Program Synthesis
auteur
Théo Matricon, Nathanaël Fijalkow, Guillaume Lagarde
article
Proceedings (AAAI Artificial Intelligence and Interactive Digital Entertainment Conference), In press, ⟨10.48550/arXiv.2412.17330⟩
Accès au bibtex
BibTex
titre
On Using Certified Training towards Empirical Robustness
auteur
Alessandro De Palma, Serge Durand, Zakaria Chihani, Caterina Urban
article
Transactions on Machine Learning Research Journal, 2025
Accès au texte intégral et bibtex
https://inria.hal.science/hal-05042448/file/tmlr2025.pdf BibTex

Proceedings

titre
A Zonotopic Dempster-Shafer Approach to the Quantitative Verification of Neural Networks
auteur
Eric Goubault, Sylvie Putot
article
International Symposium on Formal Methods, FM 2024, 14933, Springer Nature Switzerland, pp.324-342, 2025, Lecture Notes in Computer Science, ⟨10.1007/978-3-031-71162-6_17⟩
Accès au texte intégral et bibtex
https://hal.science/hal-04546350/file/fm.pdf BibTex

Preprints, Working Papers, ...

titre
Abstract Lipschitz Continuity
auteur
Marco Campion, Isabella Mastroeni, Michele Pasqua, Caterina Urban
article
2025
Accès au texte intégral et bibtex
https://inria.hal.science/hal-04935306/file/MFCS25_AbstractContinuity-5%20%281%29.pdf BibTex
titre
A Framework for Streaming Event-Log Prediction in Business Processes
auteur
Benedikt Bollig, Matthias Függer, Thomas Nowak
article
2025
Accès au texte intégral et bibtex
https://hal.science/hal-04866045/file/Streaming_Event_Log_Prediction.pdf BibTex

2024

Journal articles

titre
Monotonicity and the Precision of Program Analysis
auteur
Marco Campion, Mila Dalla Preda, Roberto Giacobazzi, Caterina Urban
article
Proceedings of the ACM on Programming Languages, 2024, 8 (POPL), pp.1629-1662. ⟨10.1145/3632897⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-04423578/file/POPL-2024.pdf BibTex

Conference papers

titre
Permutation Equivariant Deep Reinforcement Learning for Multi-Armed Bandit
auteur
Zhuofan Xu, Benedikt Bollig, Matthias Függer, Thomas Nowak
article
36th IEEE International Conference on Tools with Artificial Intelligence (ICTAI), Oct 2024, Herndon, United States. ⟨10.1109/ICTAI62512.2024.00140⟩
Accès au texte intégral et bibtex
https://hal.science/hal-04787072/file/PE_DQN_ICTAI.pdf BibTex
titre
Quantitative Static Timing Analysis
auteur
Denis Mazzucato, Marco Campion, Caterina Urban
article
31st Static Analysis Symposium (SAS 2024), Roberto Giacobazzi; Alessandra Gorla; Marco Campion, Oct 2024, Pasadena, CA, United States
Accès au texte intégral et bibtex
https://hal.science/hal-04669723/file/paper7.pdf BibTex
titre
Verification of Geometric Robustness of Neural Networks via Piecewise Linear Approximation and Lipschitz Optimisation
auteur
Ben Batten, Yang Zheng, Alessandro De Palma, Panagiotis Kouvaros, Alessio Lomuscio
article
ECAI 2024 - European Conference on Artificial Intelligence, Oct 2024, Santiago de Compostela, Spain
Accès au texte intégral et bibtex
https://hal.science/hal-04727955/file/ecai24_m1462.pdf BibTex
titre
CaBRNet, an open-source library for developing and evaluating Case-Based Reasoning Models
auteur
Romain Xu-Darme, Aymeric Varasse, Alban Grastien, Julien Girard, Zakaria Chihani
article
xAI 2024 - The 2nd World Conference on eXplainable Artificial Intelligence, Jul 2024, La valette, Malta. pp.TBD
Accès au texte intégral et bibtex
https://cea.hal.science/cea-04688217/file/main_preprint.pdf BibTex
titre
Quantitative Input Usage Static Analysis
auteur
Denis Mazzucato, Marco Campion, Caterina Urban
article
NASA Formal Methods 2024, Jun 2024, Moffett Field (CA), United States. pp.79-98, ⟨10.1007/978-3-031-60698-4_5⟩
Accès au texte intégral et bibtex
https://hal.science/hal-04339001/file/mazzucato-campion-urban-NFM24.pdf BibTex
titre
Reconciling Spatial and Temporal Abstractions for Goal Representation
auteur
Mehdi Zadem, Sergio Mover, Sergio Mover, Sao Mai Nguyen
article
ICLR 2024: Twelfth International Conference on Learning Representations, May 2024, Vienna, Austria
Accès au texte intégral et bibtex
https://inria.hal.science/hal-04629549/file/Zadem2024TICLR.pdf BibTex
titre
Expressive Losses for Verified Robustness via Convex Combinations
auteur
Alessandro De Palma, Rudy Bunel, Krishnamurthy Dvijotham, M Pawan Kumar, Robert Stanforth, Alessio Lomuscio
article
ICLR 2024 - International Conference on Learning Representations, May 2024, Vienna, Austria
Accès au texte intégral et bibtex
https://inria.hal.science/hal-04511820/file/8030_expressive_losses_for_verified.pdf BibTex
titre
Abstract Interpretation-Based Feature Importance for Support Vector Machines
auteur
Abhinandan Pal, Francesco Ranzato, Caterina Urban, Marco Zanella
article
25th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2024), Jan 2024, London, United Kingdom. pp.27-49, ⟨10.1007/978-3-031-50524-9_2⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-04378817/file/paper.pdf BibTex

Theses

titre
Static Analysis by Abstract Interpretation of Quantitative Program Properties
auteur
Denis Mazzucato
article
Computer Science [cs]. École Normale Supérieure, 2024. English. ⟨NNT : ⟩
Accès au texte intégral et bibtex
https://inria.hal.science/tel-04886659/file/denis-phd24.pdf BibTex

Preprints, Working Papers, ...

titre
Revelations: A Decidable Class of POMDPs with Omega-Regular Objectives
auteur
Marius Belly, Nathanaël Fijalkow, Hugo Gimbert, Florian Horn, Guillermo Alberto Pérez, Pierre Vandenhove
article
2024
Accès au texte intégral et bibtex
https://hal.science/hal-04797702/file/2412.12063.pdf BibTex

2023

Conference papers

titre
Reinforcement Planning for effective ε-optimal policies in dense time with discontinuities
auteur
Léo Henry, Blaise Genest, Alexandre Drewery
article
43rd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Dec 2023, hyderabad, India. ⟨10.4230/LIPIcs⟩
Accès au texte intégral et bibtex
https://hal.science/hal-04280462/file/HGD23.pdf BibTex