Extremum Seeking for Stefan PDE with Moving Boundary. - Mauricio Linhares Galvao; Tiago Roux Oliveira; Miroslav Krstic (CoRR, 2023)