L4acados: Learning-based models for acados, applied to Gaussian process-based predictive control. - Amon Lahr; Joshua Näf; Kim Peter Wabersich; Jonathan Frey; Pascal Siehl; Andrea Carron; Moritz Diehl; Melanie N. Zeilinger (CoRR, 2024)