QINT{N, AM} <: AbstractContinuousPost

Reachability method for one-dimensional quadratic ODEs with non-deterministic inputs.

Fields

The type fields are:

• N – number type of the step-size
• AM – type of the approximation model

Notes