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-9087Full text not available from this repository.
|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|
Actions (login required)