Pareto-Rational Verification

Slides

Date
Sep 16, 2022 12:00 AM
Event
CONCUR 2022
Location
Warsaw, Poland (online)
Clément Tamines
Clément Tamines
PhD in Computer Science