Wongpiromsarn, T and Mitra, S and Lamperski, A and Murray, RM (2012) Verification of periodically controlled hybrid systems: Application to an autonomous vehicle. Transactions on Embedded Computing Systems, 11. ISSN 1539-9087
Full text not available from this repository.| Item Type: | Article |
|---|---|
| Subjects: | UNSPECIFIED |
| Divisions: | Div F > Computational and Biological Learning |
| Depositing User: | Cron Job |
| Date Deposited: | 13 Dec 2012 12:10 |
| Last Modified: | 17 Dec 2012 01:10 |
| DOI: |
Actions (login required)
| View Item |
