Springer Nature OA
open access
Mölndalsån: A Stochastic Hybrid Challenge in Formal Modelling and Verification
As the city of Gothenburg prepares for climate change and rising sea levels, it plans new high-water gates to protect its inner-city canals from storm surges. However, the river Mölndalsån flows into these canals and could backflood the city when the gates are closed. This is a stochastic hybrid sys
Conceptio Open Archive
Analyze & explore related research in Conceptio
Connect this record directly into your research workflow or AI agent. Explore citations across open repositories, query full text, and export structured proof bundles.
This document is indexed with metadata only: full text is not available in the archive for this record. Open the official source ↗
Related documents
- Building and calibrating a 3Di subgrid flood model for Hanoi, without a surveyed terrain model, drainage data, or rain gauges#1355778
- Moderate Flood Level Scenarios: Synthetic Storm-Driven Flood-Inundation Maps for Coastal Communities in 10 New Jersey Counties#638199
- River and coastal flooding - Regions#21816
- Coastal flooding - Local areas#21793
- Select Elements of Concern in Surface Water of Three Hydrologic Basins (Delaware River, Illinois River, and Upper Colorado River)—Data Screening for the Development of Spatial and Temporal Models#621523
Record · ID 1360653
Retrieved via Conceptio: every document is proof-bundled with source, license, and retrieval metadata.
Retrieved via Conceptio: every document is proof-bundled with source, license, and retrieval metadata.
Bring this data into your agent: Connect via MCP or API · 20 free credits to start · no card required
Read the Docs → · View CLI source on GitHub · Conceptio Open Knowledge Archive
Read the Docs → · View CLI source on GitHub · Conceptio Open Knowledge Archive