Synthesis of Reactive Switching Protocols From Temporal Logic Specifications release_4hbk7xvphzbmjnqz3e4nrxclru

by Jun Liu, Necmiye Ozay, Ufuk Topcu, Richard M. Murray

Published in IEEE Transactions on Automatic Control by Institute of Electrical and Electronics Engineers (IEEE).

2013   Volume 58, p1771-1785

Archived Files and Locations

application/pdf  2.8 MB
file_qkvwblrzhfhebpcptrroub3ncu
junliu.name (web)
web.archive.org (webarchive)
application/pdf  1.8 MB
file_2rnehgaptnfedkqum3ptp3fgc4
users.cms.caltech.edu (web)
web.archive.org (webarchive)
application/pdf  2.3 MB
file_3tiq23ymaff4dnkwuuvwen637m
web.archive.org (webarchive)
web.eecs.umich.edu (web)
application/pdf  2.9 MB
file_jardz254jjfxjmtvfvbaf3mdhm
www.seas.upenn.edu (web)
web.archive.org (webarchive)
Read Archived PDF
Preserved and Accessible
Type  article-journal
Stage   published
Year   2013
Container Metadata
Not in DOAJ
In Keepers Registry
ISSN-L:  0018-9286
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: 3f8d51a5-4b39-4f2c-9a2c-df5f1df8d5ed
API URL: JSON