Reach-Avoid Verification Based on Convex Optimization
Article in IEEE Transactions on Automatic Control (May 2023)
The most recent citing publications are shown below. View all 16 publications that cite this research output on Dimensions.
Article in IEEE Transactions on Automatic Control (May 2023)
Article in Fractal and Fractional (October 2022)
Article in ASCE-ASME Journal of Risk and Uncertainty in Engineering Systems, Part B: Mechanical Engineering (April 2021)