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
-
- 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
-
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
-
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
-
- 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
-
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
-
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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
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
-
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
-
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
-