Automatic Computation of Barrier Certificates

The report is available here.

The slides are available here.