검색결과 : 3건
| No. | Article |
|---|---|
| 1 |
Stochastic system controller synthesis for reachability specifications encoded by random sets Summers S, Kamgarpour M, Tomlin C, Lygeros J Automatica, 49(9), 2906, 2013 |
| 2 |
Verification of discrete time stochastic hybrid systems A stochastic reach-avoid decision problem Summers S, Lygeros J Automatica, 46(12), 1951, 2010 |
| 3 |
Stochastic target hitting time and the problem of early retirement Boda K, Filar JA, Lin YL, Spanjers L IEEE Transactions on Automatic Control, 49(3), 409, 2004 |