Login / Signup

Convex Invariant Refinement by Control Node Splitting: a Heuristic Approach.

Vivien Maisonneuve
Published in: Electron. Notes Theor. Comput. Sci. (2012)
Keyphrases