ML Anthology

Fribourg, Laurent

2 publications

L4DC 2021 Data-Driven Abstraction of Monotone Systems Anas Makdesi, Antoine Girard, Laurent Fribourg
IJCAI 1983 A Superposition Oriented Theorem Prover Laurent Fribourg