A Formal Verification Study on the Rotterdam Storm Surge Barrier.

Ken Madlener Sjaak Smetsers Marko C. J. D. van Eekelen

Published in: ICFEM (2010)

Keyphrases

formal verification
multi agent systems
empirical studies
model checking
database
data sets
artificial intelligence
case study
reinforcement learning
information technology
software architecture
automated reasoning
automated verification