Publications

15 documents

Journal articles2 documents

  • Théo Matricon, Nathanaël Fijalkow, Guillaume Lagarde. EcoSearch: A Constant-Delay Best-First Search Algorithm for Program Synthesis. Proceedings (AAAI Artificial Intelligence and Interactive Digital Entertainment Conference), In press, ⟨10.48550/arXiv.2412.17330⟩. ⟨hal-04901266⟩
  • Marco Campion, Mila Dalla Preda, Roberto Giacobazzi, Caterina Urban. Monotonicity and the Precision of Program Analysis. Proceedings of the ACM on Programming Languages, 2024, 8 (POPL), pp.1629-1662. ⟨10.1145/3632897⟩. ⟨hal-04423578⟩

Conference papers9 documents

  • Zhuofan Xu, Benedikt Bollig, Matthias Függer, Thomas Nowak. Permutation Equivariant Deep Reinforcement Learning for Multi-Armed Bandit. 36th IEEE International Conference on Tools with Artificial Intelligence (ICTAI), Oct 2024, Herndon, United States. ⟨10.1109/ICTAI62512.2024.00140⟩. ⟨hal-04787072⟩
  • Denis Mazzucato, Marco Campion, Caterina Urban. Quantitative Static Timing Analysis. 31st Static Analysis Symposium (SAS 2024), Roberto Giacobazzi; Alessandra Gorla; Marco Campion, Oct 2024, Pasadena, CA, United States. ⟨hal-04669723⟩
  • Ben Batten, Yang Zheng, Alessandro De Palma, Panagiotis Kouvaros, Alessio Lomuscio. Verification of Geometric Robustness of Neural Networks via Piecewise Linear Approximation and Lipschitz Optimisation. ECAI 2024 - European Conference on Artificial Intelligence, Oct 2024, Santiago de Compostela, Spain. ⟨hal-04727955⟩
  • Romain Xu-Darme, Aymeric Varasse, Alban Grastien, Julien Girard, Zakaria Chihani. CaBRNet, an open-source library for developing and evaluating Case-Based Reasoning Models. xAI 2024 - The 2nd World Conference on eXplainable Artificial Intelligence, Jul 2024, La valette, Malta. pp.TBD. ⟨cea-04688217v2⟩
  • Denis Mazzucato, Marco Campion, Caterina Urban. Quantitative Input Usage Static Analysis. NASA Formal Methods 2024, Jun 2024, Moffett Field (CA), United States. pp.79-98, ⟨10.1007/978-3-031-60698-4_5⟩. ⟨hal-04339001v3⟩
  • Alessandro De Palma, Rudy Bunel, Krishnamurthy Dvijotham, M Pawan Kumar, Robert Stanforth, et al.. Expressive Losses for Verified Robustness via Convex Combinations. ICLR 2024 - International Conference on Learning Representations, May 2024, Vienna, Austria. ⟨hal-04511820⟩
  • Mehdi Zadem, Sergio Mover, Sergio Mover, Sao Mai Nguyen. Reconciling Spatial and Temporal Abstractions for Goal Representation. ICLR 2024: Twelfth International Conference on Learning Representations, May 2024, Vienna, Austria. ⟨hal-04629549⟩
  • Abhinandan Pal, Francesco Ranzato, Caterina Urban, Marco Zanella. Abstract Interpretation-Based Feature Importance for Support Vector Machines. 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⟩. ⟨hal-04378817⟩
  • Léo Henry, Blaise Genest, Alexandre Drewery. Reinforcement Planning for effective ε-optimal policies in dense time with discontinuities. 43rd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Dec 2023, hyderabad, India. ⟨10.4230/LIPIcs⟩. ⟨hal-04280462⟩

Proceedings1 document

  • Eric Goubault, Sylvie Putot. A Zonotopic Dempster-Shafer Approach to the Quantitative Verification of Neural Networks. 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⟩. ⟨hal-04546350v2⟩

Preprints, Working Papers2 documents

  • Benedikt Bollig, Matthias Függer, Thomas Nowak. A Framework for Streaming Event-Log Prediction in Business Processes. 2025. ⟨hal-04866045⟩
  • Marius Belly, Nathanaël Fijalkow, Hugo Gimbert, Florian Horn, Guillermo Alberto Pérez, et al.. Revelations: A Decidable Class of POMDPs with Omega-Regular Objectives. 2024. ⟨hal-04797702v3⟩

Theses1 document

  • Denis Mazzucato. Static Analysis by Abstract Interpretation of Quantitative Program Properties. Computer Science [cs]. École Normale Supérieure, 2024. English. ⟨NNT : ⟩. ⟨tel-04886659⟩

Powered by HAL logo

Comments are closed.