Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFrank Jiang 0003
Person information
- affiliation: University of California, Berkeley, Department of Electrical Engineering and Computer Sciences, CA, USA
Other persons with the same name
- Frank Jiang 0001
![[0000-0003-3088-8525]](https://dblp1.uni-trier.de/img/orcid-mark.12x12.png "0000-0003-3088-8525")
— Deakin University, Faculty of Science, Engineering and Built Environment, Geelong, Australia (and 3 more) - Frank Jiang 0002 — Georgia Institute of Technology, USA
- Frank Jiang 0004 — KTH Royal Institute of Technology, School of Electrical Engineering and Computer Science, Stockholm, Sweden
- Frank Jiang 0005 — Facebook, Menlo Park, CA, USA
- Frank Jiang 0006 — AT&T Labs, San Ramon, CA, USA
- Frank Jiang 0007 — Cleveland State University, OH, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[i8]Ahmad Hafez, Frank J. Jiang, Karl Henrik Johansson, Amr Alanwar:
Formal Verification with Constrained Polynomial Logical Zonotope. CoRR abs/2403.18564 (2024)- 2023
- [c7]Amr Alanwar, Frank J. Jiang, Samy Amin, Karl Henrik Johansson:
Logical Zonotopes: A Set Representation for the Formal Verification of Boolean Functions. CDC 2023: 60-66 - [c6]August Söderlund, Frank J. Jiang, Vandana Narri, Amr Alanwar, Karl Henrik Johansson:
Data-Driven Reachability Analysis of Pedestrians Using Behavior Modes. ITSC 2023: 4025-4031 - [i7]Amr Alanwar, Frank J. Jiang, Karl Henrik Johansson:
Polynomial Logical Zonotopes: A Set Representation for Reachability Analysis of Logical Systems. CoRR abs/2306.12508 (2023) - [i6]August Söderlund, Frank J. Jiang, Vandana Narri, Amr Alanwar, Karl Henrik Johansson:
Data-Driven Reachability Analysis of Pedestrians Using Behavior Modes. CoRR abs/2308.10634 (2023) - 2022
- [j2]Yulong Gao, Alessandro Abate, Frank J. Jiang, Mirco Giacobbe, Lihua Xie, Karl Henrik Johansson:
Temporal Logic Trees for Model Checking and Control Synthesis of Uncertain Discrete-Time Systems. IEEE Trans. Autom. Control. 67(10): 5071-5086 (2022) - [j1]Yulong Gao, Frank J. Jiang, Lihua Xie, Karl Henrik Johansson:
Risk-Aware Optimal Control for Automated Overtaking With Safety Guarantees. IEEE Trans. Control. Syst. Technol. 30(4): 1460-1472 (2022) - [c5]Amr Alanwar, Frank J. Jiang, Maryam Sharifi, Dimos V. Dimarogonas, Karl Henrik Johansson:
Enhancing Data-Driven Reachability Analysis using Temporal Logic Side Information. ICRA 2022: 6793-6799 - [c4]Frank J. Jiang, Mustafa Al-Janabi, Tobias Bolin, Karl Henrik Johansson, Jonas Mårtensson:
SVEA: an experimental testbed for evaluating V2X use-cases. ITSC 2022: 3484-3489 - [i5]Amr Alanwar, Frank J. Jiang, Samy Amin, Karl Henrik Johansson:
Logical Zonotope: A Set Representation for Binary Vectors. CoRR abs/2210.08596 (2022) - 2021
- [i4]Amr Alanwar, Frank J. Jiang, Maryam Sharifi, Dimos V. Dimarogonas, Karl Henrik Johansson:
Enhancing Data-Driven Reachability Analysis using Temporal Logic Side Information. CoRR abs/2109.07121 (2021) - 2020
- [c3]Frank J. Jiang, Yulong Gao, Lihua Xie, Karl Henrik Johansson:
Ensuring safety for vehicle parking tasks using Hamilton-Jacobi reachability analysis. CDC 2020: 1416-1421 - [i3]Yulong Gao, Alessandro Abate, Frank J. Jiang, Mirco Giacobbe, Lihua Xie, Karl Henrik Johansson:
Temporal Logic Trees for Model Checking and Control Synthesis of Uncertain Discrete-time Systems. CoRR abs/2007.02271 (2020)
2010 – 2019
- 2019
- [c2]Yulong Gao, Frank J. Jiang, Karl Henrik Johansson, Lihua Xie:
Stochastic Modeling and Optimal Control for Automated Overtaking. CDC 2019: 1273-1278 - 2016
- [c1]Somil Bansal, Anayo K. Akametalu, Frank J. Jiang, Forrest Laine, Claire J. Tomlin:
Learning quadrotor dynamics using neural network for flight control. CDC 2016: 4653-4660 - [i2]Somil Bansal, Anayo K. Akametalu, Frank J. Jiang, Forrest Laine, Claire J. Tomlin:
Learning Quadrotor Dynamics Using Neural Network for Flight Control. CoRR abs/1610.05863 (2016) - [i1]Frank Jiang, Glen Chou, Mo Chen, Claire J. Tomlin:
Using Neural Networks for Fast Reachable Set Computations. CoRR abs/1611.03158 (2016)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-11 22:53 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
