Compositional construction of bounded error over-approximations of acyclic interconnected continuous dynamical systems.

Ratan Lal, Pavithra Prabhakar

Browse the full MEMOCODE paper archive.