검색결과 : 5건
| No. | Article |
|---|---|
| 1 |
On the timed temporal logic planning of coupled multi-agent systems Nikou A, Boskos D, Tumova J, Dimarogonas DV Automatica, 97, 339, 2018 |
| 2 |
Multi-agent planning under local LTL specifications and event-based synchronization Tumova J, Dimarogonas DV Automatica, 70, 239, 2016 |
| 3 |
Communication-Free Multi-Agent Control Under Local Temporal Tasks and Relative-Distance Constraints Guo M, Tumova J, Dimarogonas DV IEEE Transactions on Automatic Control, 61(12), 3948, 2016 |
| 4 |
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 |
| 5 |
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 |