Alchemist: Learning Guarded Affine Functions.

Shambwaditya Saha, Pranav Garg, P. Madhusudan

Browse the full CAV paper archive.