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 13 publications that cite this research output on Dimensions.
Article in IEEE Transactions on Automatic Control (May 2023)
Article in ASCE-ASME Journal of Risk and Uncertainty in Engineering Systems, Part B: Mechanical Engineering (April 2021)
Article in IEEE Transactions on Automatic Control (September 2020)