BibTeX
CSL-JSON
MLA
Harvard
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
Stage
Year 2013
article-journal
Stage
published
Year 2013
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
access all versions, variants, and formats of this works (eg, pre-prints)
Cite This
Lookup Links
oaDOI/unpaywall (OA fulltext)
Crossref Metadata (via API)
Worldcat
SHERPA/RoMEO (journal policies)
wikidata.org
CORE.ac.uk
Semantic Scholar
Google Scholar
Crossref Metadata (via API)
Worldcat
SHERPA/RoMEO (journal policies)
wikidata.org
CORE.ac.uk
Semantic Scholar
Google Scholar