AML++

MaRDI QIDQ23883swMATHFDO

Official website http://amlpp.sourceforge.net/

Cited in

(1)

• A CSP versus a zonotope-based method for solving guard set intersection in nonlinear hybrid reachability

This page was built for software: AML++