Explore projects

Runtime Verification using Temporal Logic in the NASA F' Framework

Climate of the past Collaboration

Repository for the research group on Earth System Modeling: Atmospheric Dynamics of the Climate and Environmental Physics Institute of the University of Bern

Interactive demos of various concepts

Python script to convert a 2D matlab matrix file to C++ header/source that defines compile-time Eigen matrices.