Languages

The Tubex library

I am developing the Tubex library: a C++ project providing tools to guarantee computations over sets of trajectories.
See more on the official webpage.