Reach-Avoid Differential Games Based on Invariant Generation

From MaRDI portal
Publication:6309378