/pFaces-PIRK

A tool for parallel computation of interval over-approximations to reachable sets of nonlinear control systems, powered by the pFaces acceleration ecosystem; more briefly, a Parallel Interval Reachability Kernel.

Primary LanguageC++OtherNOASSERTION

No issues in this repository yet.