Anja Petković: On computing simultaneous fixed points of monotone piecewise linear functions (part 2)

Date of publication: 1. 10. 2018
Mathematics and theoretical computing seminar
Četrtek, 4. 10. 2018, od 11h do 13h, učilnica 3.07, Jadranska 21
Abstract: In this talk I will present an iterative (and somewhat optimised) algorithm for computing simultaneous fixed points of monotone piecewise linear functions. We will start with necessary background knowledge about complete lattices and fixed-point calculus and build up to demonstrate the use of that in the algorithm and its optimisations. (joint work with Alex Simpson)