AML++

swMATH11948MaRDI QIDQ23883FDOQ23883

Author name not available (Why is that?)

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++