검색결과 : 3건
| 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 |
Computational techniques for reachability analysis of Max-Plus-Linear systems Adzkiya D, De Schutter B, Abate A Automatica, 53, 293, 2015 |
| 3 |
Finite Abstractions of Max-Plus-Linear Systems Adzkiya D, De Schutter B, Abate A IEEE Transactions on Automatic Control, 58(12), 3039, 2013 |