Login / Signup
Underapproximating Backward Reachable Sets by Semialgebraic Sets.
Bai Xue
Zhikun She
Arvind Easwaran
Published in:
IEEE Trans. Autom. Control. (2017)
Keyphrases
</>
image segmentation
evolutionary algorithm
definite clause