Compositional Control Synthesis for Water Management System. - Esther H. Kim; Kim G. Larsen; Martijn A. Goorden; Thomas D. Nielsen (ECC, 2024)

Controlling stormwater detention ponds under partial observability. - Esther H. Kim; Martijn A. Goorden; Kim G. Larsen; Thomas D. Nielsen (J. Log. Algebraic Methods Program., 2024)

Data-Driven Shielding of Online Reinforcement Learning: A Stormwater Pond Case Study. - Esther H. Kim; Martijn A. Goorden; Kim Guldstrand Larsen; Thomas Dyhre Nielsen (FSEN, 2025)