검색결과 : 3건
| No. | Article |
|---|---|
| 1 |
Reach-Avoid Verification for Nonlinear Systems Based on Boundary Analysis Xue B, Easwaran A, Cho NJ, Franzle M IEEE Transactions on Automatic Control, 62(7), 3518, 2017 |
| 2 |
Underapproximating Backward Reachable Sets by Semialgebraic Sets Xue B, She ZK, Easwaran A IEEE Transactions on Automatic Control, 62(10), 5185, 2017 |
| 3 |
Orientation distribution in dynamically recrystallized nickel Fukutomi H, Hasegawa M, Okayasu K Materials Science Forum, 408-4, 889, 2002 |