Laboratoire Méthodes Formelles (LMF)
… change Philippe Dague 21/03/2024 Journal of Theoretical Biology Cerise: Program verification on a capability machine … LIPIcs Quantum Circuit Completeness: Extensions and Simplifications Alexandre Clément, Renaud Vilmart … in Informatics, LIPIcs Safe learning-based model predictive control using the compatible models approach …Article publié le: mer 20/09/2023 - 07:25