Learning quadrotor dynamics using neural network for flight control. - Somil Bansal; Anayo K. Akametalu; Frank J. Jiang; Forrest Laine; Claire J. Tomlin (CDC, 2016)

Using Neural Networks for Fast Reachable Set Computations. - Frank Jiang 003; Glen Chou; Mo Chen 001; Claire J. Tomlin (CoRR, 2016)

Stochastic Modeling and Optimal Control for Automated Overtaking. - Yulong Gao; Frank J. Jiang; Karl Henrik Johansson; Lihua Xie 001 (CDC, 2019)

Ensuring safety for vehicle parking tasks using Hamilton-Jacobi reachability analysis. - Frank J. Jiang; Yulong Gao; Lihua Xie 001; Karl Henrik Johansson (CDC, 2020)

Enhancing Data-Driven Reachability Analysis using Temporal Logic Side Information. - Amr Alanwar 001; Frank J. Jiang; Maryam Sharifi; Dimos V. Dimarogonas; Karl Henrik Johansson (ICRA, 2022)

SVEA: an experimental testbed for evaluating V2X use-cases. - Frank J. Jiang; Mustafa Al-Janabi; Tobias Bolin; Karl Henrik Johansson; Jonas Mårtensson 001 (ITSC, 2022)

Logical Zonotope: A Set Representation for Binary Vectors. - Amr Alanwar 001; Frank J. Jiang; Samy Amin; Karl Henrik Johansson (CoRR, 2022)

Temporal Logic Trees for Model Checking and Control Synthesis of Uncertain Discrete-Time Systems. - Yulong Gao; Alessandro Abate; Frank J. Jiang; Mirco Giacobbe; Lihua Xie 001; Karl Henrik Johansson (IEEE Trans. Autom. Control., 2022)

Risk-Aware Optimal Control for Automated Overtaking With Safety Guarantees. - Yulong Gao; Frank J. Jiang; Lihua Xie 001; Karl Henrik Johansson (IEEE Trans. Control. Syst. Technol., 2022)

Logical Zonotopes: A Set Representation for the Formal Verification of Boolean Functions. - Amr Alanwar 001; Frank J. Jiang; Samy Amin; Karl Henrik Johansson (CDC, 2023)

Data-Driven Reachability Analysis of Pedestrians Using Behavior Modes. - August Söderlund; Frank J. Jiang; Vandana Narri; Amr Alanwar 001; Karl Henrik Johansson (ITSC, 2023)

Polynomial Logical Zonotopes: A Set Representation for Reachability Analysis of Logical Systems. - Amr Alanwar 001; Frank J. Jiang; Karl Henrik Johansson (CoRR, 2023)

Guaranteed Completion of Complex Tasks via Temporal Logic Trees and Hamilton-Jacobi Reachability. - Frank J. Jiang; Kaj Munhoz Arfvidsson; Chong He; Mo Chen 001; Karl Henrik Johansson (CDC, 2024)

Formal Verification of Linear Temporal Logic Specifications Using Hybrid Zonotope-Based Reachability Analysis. - Loizos Hadjiloizou; Frank J. Jiang; Amr Alanwar 001; Karl Henrik Johansson (ECC, 2024)

Towards Safe Autonomous Intersection Management: Temporal Logic-based Safety Filters for Vehicle Coordination. - Kaj Munhoz Arfvidsson; Frank J. Jiang; Karl Henrik Johansson; Jonas Mårtensson 001 (ITSC, 2024)

Pedestrian Motion Prediction Using Transformer-Based Behavior Clustering and Data-Driven Reachability Analysis. - Kleio Fragkedaki; Frank J. Jiang; Karl Henrik Johansson; Jonas Mårtensson 001 (ITSC, 2024)

Small-Scale Testbed for Evaluating C-V2X Applications on 5G Cellular Networks. - Kaj Munhoz Arfvidsson; Kleio Fragkedaki; Frank J. Jiang; Vandana Narri; Hans-Cristian Lindh; Karl Henrik Johansson; Jonas Mårtensson 001 (IV, 2024)

Ensuring Safety at Intelligent Intersections: Temporal Logic Meets Reachability Analysis. - Kaj Munhoz Arfvidsson; Frank J. Jiang; Karl Henrik Johansson; Jonas Mårtensson 001 (IV, 2024)

Formal Verification with Constrained Polynomial Logical Zonotope. - Ahmad Hafez; Frank J. Jiang; Karl Henrik Johansson; Amr Alanwar 001 (CoRR, 2024)

Reachability Analysis Using Constrained Polynomial Logical Zonotopes. - Ahmad Hafez; Frank J. Jiang; Karl Henrik Johansson; Amr Al-Anwar 001 (IEEE Control. Syst. Lett., 2024)

Online control synthesis for uncertain systems under signal temporal logic specifications. - Pian Yu; Yulong Gao; Frank J. Jiang; Karl Henrik Johansson; Dimos V. Dimarogonas (Int. J. Robotics Res., 2024)

Remote Driving of Road Vehicles: A Survey of Driving Feedback, Latency, Support Control, and Real Applications. - Lin Zhao 015; Mikael Nybacka; Maytheewat Aramrattana; Malte Rothhämel; Azra Habibovic; Lars Drugge; Frank Jiang 003 (IEEE Trans. Intell. Veh., 2024)

Polynomial logical zonotope: A set representation for reachability analysis of logical systems. - Amr Al-Anwar 001; Frank J. Jiang; Karl Henrik Johansson (Autom., 2025)

Human-Centric Control Design for Safe & Connected Vehicles. - Frank Jiang 003 (2025)

Towards Open-Source and Modular Space Systems with ATMOS. - Pedro Roque; Sujet Phodapol; Elias Krantz; Jaeyoung Lim; Joris Verhagen; Frank Jiang 003; David Dorner; Roland Siegwart; Ivan Stenius; Gunnar Tibert; Huina Mao; Jana Tumova; et al. (CoRR, 2025)

Beyond Line-of-Sight: Cooperative Localization Using Vision and V2X Communication. - Annika Wong; Zhiqi Tang; Frank J. Jiang; Karl Henrik Johansson; Jonas Mårtensson 001 (CoRR, 2025)