You will be redirected to: https://www.research-collection.ethz.ch/bitstream/handle/20.500.11850/797881/OASIcs.NINeS.2026.25.pdf