Girard, Antoine

1 publications

L4DC 2021 Data-Driven Abstraction of Monotone Systems Anas Makdesi, Antoine Girard, Laurent Fribourg