DMCA

A Toolbox of Hamilton-Jacobi Solvers for Analysis of Nondeterministic Continuous and Hybrid Systems (2005)

by Ian M. Mitchell , Jeremy A. Templeton
Venue:In HSCC 2005, LNCS 3414
Citations:36 - 3 self