Pages that link to "Item:Q5358637"
From MaRDI portal
The following pages link to Reach-Avoid Verification for Nonlinear Systems Based on Boundary Analysis (Q5358637):
Displaying 4 items.
- Reachable set estimation and safety verification of nonlinear systems via iterative sums of squares programming (Q2165452) (← links)
- Verifying safety and persistence in hybrid systems using flowpipes and continuous invariants (Q2331077) (← links)
- (Q4417974) (← links)
- Optimal strategies for the lifeline differential game with limited lifetime (Q5018834) (← links)