검색결과 : 4건
| No. | Article |
|---|---|
| 1 |
Optimal Temporal Logic Control for Deterministic Transition Systems With Probabilistic Penalties Svorenova M, Cerna I, Belta C IEEE Transactions on Automatic Control, 60(6), 1528, 2015 |
| 2 |
Formal analysis of piecewise affine systems through formula-guided refinement Yordanov B, Tumova J, Cerna I, Barnat J, Belta C Automatica, 49(1), 261, 2013 |
| 3 |
Temporal Logic Control of Discrete-Time Piecewise Affine Systems Yordanov B, Tumova J, Cerna I, Barnat J, Belta C IEEE Transactions on Automatic Control, 57(6), 1491, 2012 |
| 4 |
Intensification of the use of ionic liquids as efficient reaction co-solvents in asymmetric hydrogenations Cerna I, Kluson P, Bendova M, Floris T, Pelantova H, Pekarek T Chemical Engineering and Processing, 50(3), 264, 2011 |