검색결과 : 3건
| No. | Article |
|---|---|
| 1 |
VERIFICATION OF GENERAL MARKOV DECISION PROCESSES BY APPROXIMATE SIMILARITY RELATIONS AND POLICY REFINEMENT Haesaert S, Soudjani SEZ, Abate A SIAM Journal on Control and Optimization, 55(4), 2333, 2017 |
| 2 |
Formal Verification of Stochastic Max-Plus-Linear Systems Soudjani SEZ, Adzkiya D, Abate A IEEE Transactions on Automatic Control, 61(10), 2861, 2016 |
| 3 |
Probabilistic Reach-Avoid Computation for Partially Degenerate Stochastic Processes Soudjani SEZ, Abate A IEEE Transactions on Automatic Control, 59(2), 528, 2014 |