검색결과 : 2건
| No. | Article |
|---|---|
| 1 |
Robot Planning Based on Boolean Specifications Using Petri Net Models Mahulea C, Kloetzer M IEEE Transactions on Automatic Control, 63(7), 2218, 2018 |
| 2 |
A fully automated framework for control of linear systems from temporal, logic specifications Kloetzer M, Bella C IEEE Transactions on Automatic Control, 53(1), 287, 2008 |