arrow
Back
A

Alban Grastien

Universite Paris Saclay

17H-index
100Paper Count
1.4KCitation Count
Published Papers 6
Publication Date
The CAISAR Platform: Extending the Reach of Machine Learning Specification and Verification
err2026-01-01
err0
PREAI
errAlberti, Michele; Bobot, Francois; Girard-Satabin, Julien; Grastien, Alban; Varasse, Aymeric; Chihani, Zakaria
errShare
errSave
Critical observations in model-based diagnosis
err2024-06-01
err1
errOAAI
errChristopher, Cody James; Grastien, Alban
errShare
errSave
AC-Feasibility on Tree Networks is NP-Hard
err2016-01-01
err160
errOAAI
errLehmann, Karsten; Grastien, Alban; Van Hentenryck, Pascal
errShare
errSave