검색결과 : 1건
| No. | Article |
|---|---|
| 1 |
Formal Verification and Synthesis for Discrete-Time Stochastic Systems Lahijanian M, Andersson SB, Belta C IEEE Transactions on Automatic Control, 60(8), 2031, 2015 |
| No. | Article |
|---|---|
| 1 |
Formal Verification and Synthesis for Discrete-Time Stochastic Systems Lahijanian M, Andersson SB, Belta C IEEE Transactions on Automatic Control, 60(8), 2031, 2015 |