Software

RoVerGeNe: Robust Verification of Gene Networks

LTLCon: Control of linear systems from LTL formulas over linear predicates

Automatic deployment of robots in 2D and 3D environments

RAMAS: Reachability analysis of multiaffine systems

BioCharon: Modeling, simulation, and analysis of biomolecular networks