검색결과 : 1건
| No. | Article |
|---|---|
| 1 |
Mode-Target Games: Reactive Synthesis for Control Applications Balkan A, Vardi M, Tabuada P IEEE Transactions on Automatic Control, 63(1), 196, 2018 |
| No. | Article |
|---|---|
| 1 |
Mode-Target Games: Reactive Synthesis for Control Applications Balkan A, Vardi M, Tabuada P IEEE Transactions on Automatic Control, 63(1), 196, 2018 |