default search action
Frank 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
— 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
- 2025
- [j5]Amr Al-Anwar, Frank J. Jiang, Karl Henrik Johansson:
Polynomial logical zonotope: A set representation for reachability analysis of logical systems. Autom. 171: 111896 (2025) - 2024
- [j4]Ahmad Hafez
Reachability Analysis Using Constrained Polynomial Logical Zonotopes. IEEE Control. Syst. Lett. 8: 2277-2282 (2024) - [j3]Pian Yu
Online control synthesis for uncertain systems under signal temporal logic specifications. Int. J. Robotics Res. 43(6): 765-790 (2024) - [c10]Loizos Hadjiloizou, Frank J. Jiang, Amr Alanwar, Karl Henrik Johansson:
Formal Verification of Linear Temporal Logic Specifications Using Hybrid Zonotope-Based Reachability Analysis. ECC 2024: 579-584 - [c9]Kaj Munhoz Arfvidsson, Kleio Fragkedaki, Frank J. Jiang, Vandana Narri, Hans-Cristian Lindh, Karl Henrik Johansson, Jonas Mårtensson:
Small-Scale Testbed for Evaluating C-V2X Applications on 5G Cellular Networks. IV 2024: 149-155 - [c8]Kaj Munhoz Arfvidsson, Frank J. Jiang, Karl Henrik Johansson, Jonas Mårtensson:
Ensuring Safety at Intelligent Intersections: Temporal Logic Meets Reachability Analysis. IV 2024: 292-298 - [i14]Ahmad Hafez, Frank J. Jiang, Karl Henrik Johansson, Amr Alanwar:
Formal Verification with Constrained Polynomial Logical Zonotope. CoRR abs/2403.18564 (2024) - [i13]Loizos Hadjiloizou, Frank J. Jiang, Amr Alanwar, Karl Henrik Johansson:
Formal Verification of Linear Temporal Logic Specifications Using Hybrid Zonotope-Based Reachability Analysis. CoRR abs/2404.03308 (2024) - [i12]Frank J. Jiang, Kaj Munhoz Arfvidsson, Chong He, Mo Chen, Karl Henrik Johansson:
Guaranteed Completion of Complex Tasks via Temporal Logic Trees and Hamilton-Jacobi Reachability. CoRR abs/2404.08334 (2024) - [i11]Kaj Munhoz Arfvidsson, Kleio Fragkedaki, Frank J. Jiang, Vandana Narri, Hans-Cristian Lindh, Karl Henrik Johansson, Jonas Mårtensson:
Small-Scale Testbed for Evaluating C-V2X Applications on 5G Cellular Networks. CoRR abs/2405.05911 (2024) - [i10]Kaj Munhoz Arfvidsson, Frank J. Jiang, Karl Henrik Johansson, Jonas Mårtensson:
Ensuring Safety at Intelligent Intersections: Temporal Logic Meets Reachability Analysis. CoRR abs/2405.11300 (2024) - [i9]Kaj Munhoz Arfvidsson, Frank J. Jiang, Karl Henrik Johansson, Jonas Mårtensson:
Towards Safe Autonomous Intersection Management: Temporal Logic-based Safety Filters for Vehicle Coordination. CoRR abs/2408.14870 (2024) - [i8]Kleio Fragkedaki, Frank J. Jiang, Karl Henrik Johansson, Jonas Mårtensson:
Pedestrian Motion Prediction Using Transformer-based Behavior Clustering and Data-Driven Reachability Analysis. CoRR abs/2408.15250 (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
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
Risk-Aware Optimal Control for Automated Overtaking With Safety Guarantees. IEEE Trans. Control. Syst. Technol. 30(4): 1460-1472 (2022) - [c5]Amr Alanwar
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
Ensuring safety for vehicle parking tasks using Hamilton-Jacobi reachability analysis. CDC 2020: 1416-1421 - [i3]Yulong Gao
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
Stochastic Modeling and Optimal Control for Automated Overtaking. CDC 2019: 1273-1278 - 2016
- [c1]Somil Bansal, Anayo K. Akametalu, Frank J. Jiang
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-11-15 19:35 CET 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: