GSOC JSOC Ideas

Scaling reachability of discretized PDEs

Applying Krylov subspace methods to compute sets of states reachable by discretized PDEs (e.g. the algorithm in https://ieeexplore.ieee.org/document/8675521 ).

Extend set propagation algorithms