Anja Petković: On computing simultaneous fixed points of monotone piecewise linear functions
Vir: Seminar za temelje matematike in teoretično računalništvo
Pozor: dobimo se ob nestandardnem času, v četrtek 13. 9. 2018 ob 13:15 v 3.07!
Attention: we meet at a non-standard time on Thursday, 13. 9. 2018 at 13:15 in 3.07!
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)