Fixed-Parameter Tractable Certified Algorithms for Covering and Dominating in Planar Graphs and Beyond. - Benjamin Merlin Bumpus; Bart M. P. Jansen; Jaime Venne (SWAT, 2024)