검색결과 : 2건
| No. | Article |
|---|---|
| 1 |
Formal Verification of Stochastic Max-Plus-Linear Systems Soudjani SEZ, Adzkiya D, Abate A IEEE Transactions on Automatic Control, 61(10), 2861, 2016 |
| 2 |
Linear time logic control of discrete-time linear systems Tabuada P, Pappas GJ IEEE Transactions on Automatic Control, 51(12), 1862, 2006 |