2 papers
cs.LO2025
Proceedings 9th edition of Working Formal Methods Symposium
Andrei Arusoaie, Horaţiu Cheval, Radu Iosif
This volume contains the proceedings of the 9th Working Formal Methods Symposium, which was held at the Alexandru Ioan Cuza University, IaÅi, Romania on September 17-19, 2025.
math.OC2024
Linear rates of asymptotic regularity for Halpern-type iterations
HoraÅ£iu Cheval, LaurenÅ£iu LeuÅtean
In this note we apply a lemma due to Sabach and Shtern to compute linear rates of asymptotic regularity for Halpern-type nonlinear iterations studied in optimization and nonlinear…