2005. A toolbox of Hamilton-Jacobi solvers for analysis of nondeterministic continuous and hybrid systems (0)

by I M MITCHELL, J A TEMPLETON
Venue:In HSCC, M. Morari and L. Thiele, Eds. LNCS Series