Ahmad Kadi, Nikolas Müller, Ansgar Bernardi, Federico Ulliana, Guillaume Pérution-Kihli. Combining Open Data and Formal Reasoning for Autonomously Controlled Spreading near Water Bodies. In Ulrike Lucke, Stefan Stieglitz, Falk Uebernickel, Anna-Lena Lamprecht, Maike Klein 0001, editors, 55. Jahrestagung der Gesellschaft für Informatik, INFORMATIK 2025: The Wide Open - Offenheit von Source bis Science, Potsdam, Germany, September 16-19, 2025. Volume P-366 of LNI, pages 1675-1680, Gesellschaft für Informatik, Bonn, 2025. [doi]
Abstract is missing.