Mathematician lurking in the tech underworld, fixing gaps and carving out new routes over the obstacles. Mathematician lurking in the tech underworld, fixing gaps and carving out new routes over the ...

Abstract: This letter presents a novel approach for reachability analysis of using constrained polynomial logical zonotopes. We perform reachability analysis to compute the set of reachable states ...