XSE2016CAV

Under-approximating backward reachable sets by polytopes

Options

epsilon_m: float = np.inf  # for boundary sampling
epsilon: float = np.inf  # for backward verification

References

[1]: Xue, B., She, Z., & Easwaran, A. (2016, July). Under-approximating backward reachable sets by polytopes. In International Conference on Computer Aided Verification (pp. 457-476). Springer, Cham.

[2]: Xue, B., Easwaran, A., Cho, N. J., & Fränzle, M. (2016). Reach-avoid verification for nonlinear systems based on boundary analysis. IEEE Transactions on Automatic Control, 62(7), 3518-3523.