| emsoft | participants

Hang Zhang

EMSOFT 2022: 22nd International Conference on Embedded Software

Efficient Backward Reachability Using the Minkowski Difference of Constrained Zonotopes

Liren Yang, Hang Zhang, Jean-Baptiste Jeannin, and Necmiye Ozay