검색결과 : 1건
| No. | Article |
|---|---|
| 1 |
Compositional Supervisory Control via Reactive Synthesis and Automated Planning Ciolek DA, Braberman V, D'Ippolito N, Sardina S, Uchitel S IEEE Transactions on Automatic Control, 65(8), 3502, 2020 |
| No. | Article |
|---|---|
| 1 |
Compositional Supervisory Control via Reactive Synthesis and Automated Planning Ciolek DA, Braberman V, D'Ippolito N, Sardina S, Uchitel S IEEE Transactions on Automatic Control, 65(8), 3502, 2020 |