Approximative Fixpoint Theory
Invited Talk, ACV 2026, Lisbon, Portugal
An overview and introduction into approximative fixpoint theory with results from both the CAV and TACAS papers, and an application to reinforcement learning algorithms.
Talks and presentations
(conference presentations associated with a paper are omitted)
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.
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.