Talk on Computing Fixpoints of Learned Functions
Talk, DCON 2026, Berlin, Germany
Slightly longer version of the TACAS presentation associated to the paper of the same name.
Talks and presentations
(conference presentations associated with a paper are omitted)
Talk on Approximating Fixed Points of Approximated Functions
Talk, iCIS, Radboud University, Nijmegen, Netherlands
Version of the CAV presentation associated to the paper of the same name, including first results of the TACAS paper.
Talk on Approximating Fixed Points of Approximated Functions
Talk, ISTA Vienna, Vienna, Austria
Long version of the CAV presentation associated to the paper of the same name.