Receding horizon trajectory optimization with a finite-state value function approximation. - Bernard Mettler; Zhaodan Kong (ACC, 2008)

Experimental demonstration of an online trajectory optimization scheme using approximate spatial value functions. - Navid Dadkhah; Venkateshwar Rao Korukanti; Zhaodan Kong; Bernard Mettler (CDC, 2009)

On the general characteristics of 2D optimal obstacle-field guidance solution. - Zhaodan Kong; Bernard Mettler (CDC, 2009)

A Survey of Motion Planning Algorithms from the Perspective of Autonomous UAV Guidance. - C. Goerzen; Zhaodan Kong; Bernard Mettler (J. Intell. Robotic Syst., 2010)

Foundations of formal language for humans and artificial systems based on intrinsic structure in spatial behavior. - Zhaodan Kong; Bernard Mettler (IROS, 2011)

An investigation of spatial behavior in agile guidance tasks. - Zhaodan Kong; Bernard Mettler (SMC, 2011)

Evaluation of Guidance Performance in Urban Terrains for Different UAV Types and Performance Criteria Using Spatial CTG Maps. - Zhaodan Kong; Bernard Mettler (J. Intell. Robotic Syst., 2011)

Optical flow sensing and the inverse perception problem for flying bats. - Zhaodan Kong; Kayhan Özcimder; Nathan W. Fuller; Alison Greco; Diane H. Theriault; Zheng Wu 003; Thomas H. Kunz; Margrit Betke; John Baillieul (CDC, 2013)

Perception and Steering Control in Paired Bat Flight. - Zhaodan Kong; Kayhan Özcimder; Nathan W. Fuller; John Baillieul (CoRR, 2013)

Hierarchical Model of Human Guidance Performance Based on Interaction Patterns in Behavior. - Bérénice Mettler; Zhaodan Kong (CoRR, 2013)

Research Infrastructure for Interactive Human- and Autonomous Guidance. - Bérénice Mettler; Navid Dadkhah; Zhaodan Kong; Jonathan Andersh (J. Intell. Robotic Syst., 2013)

Modeling Human Guidance Behavior Based on Patterns in Agent-Environment Interactions. - Zhaodan Kong; Bérénice Mettler (IEEE Trans. Hum. Mach. Syst., 2013)

Mapping and Analysis of Human Guidance Performance From Trajectory Ensembles. - Bérénice Mettler; Zhaodan Kong (IEEE Trans. Hum. Mach. Syst., 2013)

Saliency based control in random feature networks. - John Baillieul; Zhaodan Kong (CDC, 2014)

Anomaly detection in cyber-physical systems: A formal methods approach. - Austin Jones; Zhaodan Kong; Calin Belta (CDC, 2014)

Algorithmic approaches to artistic movement. - Kayhan Özcimder; Zhaodan Kong; John Baillieul (CDC, 2014)

Temporal logic inference for classification and prediction from data. - Zhaodan Kong; Austin Jones; Ana Medina Ayala; Ebru Aydin Gol; Calin Belta (HSCC, 2014)

SpaTeL: a novel spatial-temporal logic and its applications to networked systems. - Iman Haghighi; Austin Jones; Zhaodan Kong; Ezio Bartocci; Radu Grosu; Calin Belta (HSCC, 2015)

Enforcing temporal logic specifications via reinforcement learning. - Austin Jones; Derya Aksaray; Zhaodan Kong; Mac Schwager; Calin Belta (HSCC, 2015)

Robust Satisfaction of Temporal Logic Specifications via Reinforcement Learning. - Austin Jones; Derya Aksaray; Zhaodan Kong; Mac Schwager; Calin Belta (CoRR, 2015)

Q-Learning for robust satisfaction of signal temporal logic specifications. - Derya Aksaray; Austin Jones; Zhaodan Kong; Mac Schwager; Calin Belta (CDC, 2016)

Active learning based requirement mining for cyber-physical systems. - Gang Chen 024; Zachary Sabato; Zhaodan Kong (CDC, 2016)

Active Requirement Mining of Bounded-Time Temporal Properties of Cyber-Physical Systems. - Gang Chen 024; Zachary Sabato; Zhaodan Kong (CoRR, 2016)

Neurophysiological and behavioral studies of human-swarm interaction tasks. - Gregory Bales; Zhaodan Kong (SMC, 2017)

Recurrent convolutional networks based intention recognition for human-robot collaboration tasks. - Zhichao Wang; Bin Wang 032; Hong Liu 002; Zhaodan Kong (SMC, 2017)

Correct-by-Construction Approach for Self-Evolvable Robots. - Gang Chen 024; Zhaodan Kong (CoRR, 2017)

Temporal Logics for Learning and Detection of Anomalous Behavior. - Zhaodan Kong; Austin Jones; Calin Belta (IEEE Trans. Autom. Control., 2017)

Data-Driven Approximate Abstraction for Black-Box Piecewise Affine Systems. - Gang Chen 024; Zhaodan Kong (ACC, 2018)

Cognitive correlates of EEG spectral power indicate human-swarm task performance. - Gregory Bales; Zhaodan Kong (IOT, 2018)

Semantic parsing of automobile steering systems. - Gang Chen 024; Zachary Sabato; Zhaodan Kong (IOT, 2018)

Perceiving Artistic Expression: A Formal Exploration of Performance Art Salsa. - Kayhan Özcimder; Zhaodan Kong; Shuai Wang 029; John Baillieul (IEEE Access, 2018)

Semantic Inference for Cyber-Physical Systems with Signal Temporal Logic. - Gang Chen 024; Mei Liu; Zhaodan Kong (CDC, 2019)

Mitigating ground effect on mini quadcopters with model reference adaptive control. - Peng Wei; Sui Nam Chan; Seongkyu Lee; Zhaodan Kong (Int. J. Intell. Robotics Appl., 2019)

Multi-Agent Cooperative Pursuit-Defense Strategy Against One Single Attacker. - Ziquan Deng; Zhaodan Kong (IEEE Robotics Autom. Lett., 2020)

Interpretable Fault Diagnosis for Cyberphysical Systems: A Learning Perspective. - Ziquan Deng; Zhaodan Kong (Computer, 2021)

Data-Driven Real-Valued Timed-Failure-Propagation-Graph Refinement for Complex System Fault Diagnosis. - Gang Chen 024; Xinfan Lin; Zhaodan Kong (IEEE Control. Syst. Lett., 2021)

Temporal-Logic-Based Semantic Fault Diagnosis With Time-Series Data From Industrial Internet of Things. - Gang Chen 024; Mei Liu; Zhaodan Kong (IEEE Trans. Ind. Electron., 2021)

Energy-Efficient UAV Trajectory Generation Based on System-Level Modeling of Multi-Physical Dynamics. - Nicolas Michel; Zhaodan Kong; Xinfan Lin (ACC, 2022)

Interpretable Fault Diagnosis of Rolling Element Bearings with Temporal Logic Neural Network. - Gang Chen 024; Yu Lu; Rong Su 001; Zhaodan Kong (CoRR, 2022)

Data-driven vermiculite distribution modelling for UAV-based precision pest management. - Na Ma; Anil Mantri; Graham Bough; Ayush Patnaik; Siddhesh Yadav; Christian Nansen; Zhaodan Kong (Frontiers Robotics AI, 2022)

System identification of wind effects on multirotor aircraft. - Peng Wei; Xinfan Lin; Zhaodan Kong (Int. J. Intell. Robotics Appl., 2022)

Vision-Based 2D Navigation of Unmanned Aerial Vehicles in Riverine Environments with Imitation Learning. - Peng Wei; Ryan Liang; Andrew Michelmore; Zhaodan Kong (J. Intell. Robotic Syst., 2022)

Neurophysiological and Behavioral Differences in Human-Multiagent Tasks: An EEG Network Perspective. - Gregory Bales; Zhaodan Kong (ACM Trans. Hum. Robot Interact., 2022)

Efficient Re-synthesis of Control Barrier Function via Safe Exploration. - Ashkan Zehfroosh; Zhaodan Kong; Stavros G. Vougioukas (CDC, 2023)

Causal Signal Temporal Logic for the Environmental Control and Life Support System's Fault Analysis and Explanation. - Ziquan Deng; Samuel P. Eshima; James Nabity; Zhaodan Kong (IEEE Access, 2023)

Fusion-Driven Tree Reconstruction and Fruit Localization: Advancing Precision in Agriculture. - Kaiming Fu; Peng Wei; Juan Villacrés; Zhaodan Kong; Stavros G. Vougioukas; Brian N. Bailey (CoRR, 2023)

UAV-Based Wildland Fire Air Toxics Data Collection and Analysis. - Prabhash Ragbir; Ajith Kaduwela; David Passovoy; Preet Amin; Shuchen Ye; Christopher Wallis; Christopher Alaimo; Thomas Young; Zhaodan Kong (Sensors, 2023)

Quantifying Causal Path-Specific Importance in Structural Causal Model. - Xiaoxiao Wang 002; Minda Zhao; Fanyu Meng; Xin Liu 002; Zhaodan Kong; Xin Chen (Comput., 2023)

Causal explanation for reinforcement learning: quantifying state and temporal importance. - Xiaoxiao Wang 002; Fanyu Meng; Xin Liu 002; Zhaodan Kong; Xin Chen (Appl. Intell., 2023)

Operationally Realistic Human-Autonomy Teaming Task Simulation to Study Multi-Dimensional Trust. - Jaekeun Sung; Sarah Leary; Victoria S. Hurd; Christian Lee; Yimin Qin; Zhaodan Kong; Torin K. Clark; Allison P. Anderson (HRI (Companion), 2024)

Energy-Optimal Planning of Waypoint-Based UAV Missions - Does Minimum Distance Mean Minimum Energy? - Nicolas Michel; Ayush Patnaik; Zhaodan Kong; Xinfan Lin (IROS, 2024)

SUNY: A Visual Interpretation Framework for Convolutional Neural Networks from a Necessary and Sufficient Perspective. - Xiwei Xuan; Ziquan Deng; Hsuan-Tien Lin; Zhaodan Kong; Kwan-Liu Ma (XAI4CV, 2024)

Dynamic Human Trust Modeling of Autonomous Agents With Varying Capability and Strategy. - Jason Dekarske; Zhaodan Kong; Sanjay S. Joshi (CoRR, 2024)

A Reliable Framework for Human-in-the-Loop Anomaly Detection in Time Series. - Ziquan Deng; Xiwei Xuan; Kwan-Liu Ma; Zhaodan Kong (CoRR, 2024)

Anytime Trust Rating Dynamics in a Human-Robot Interaction Task. - Jason Dekarske; Gregory Bales; Zhaodan Kong; Sanjay S. Joshi (CoRR, 2024)

CohEx: A Generalized Framework for Cohort Explanation. - Fanyu Meng; Xin Liu; Zhaodan Kong; Xin Chen (CoRR, 2024)

Interpreting Inflammation Prediction Model via Tag-based Cohort Explanation. - Fanyu Meng; Jules Larke; Xin Liu 002; Zhaodan Kong; Xin Chen; Danielle G. Lemay; Ilias Tagkopoulos (CoRR, 2024)

A Compact Handheld Sensor Package with Sensor Fusion for Comprehensive and Robust 3D Mapping. - Peng Wei; Kaiming Fu; Juan Villacrés; Thomas Ke; Kay Krachenfels; Curtis Ryan Stofer; Nima Bayati; Qikai Gao; Bill Zhang; Eric Vanacker; Zhaodan Kong (Sensors, 2024)

Control/physical systems co-design with spectral temporal logic specifications and its applications to MEMS. - Gang Chen; Zhaodan Kong; Longhan Xie (Int. J. Control, 2024)

Optical Flow as Spatial-Temporal Attention Learners. - Yawen Lu; Cheng Han 001; Qifan Wang 001; Heng Fan 001; Zhaodan Kong; Dongfang Liu; Yingjie Victor Chen (IEEE Trans. Pattern Anal. Mach. Intell., 2024)

CohEx: A Generalized Framework for Cohort Explanation. - Fanyu Meng; Xin Liu 002; Zhaodan Kong; Xin Chen (AAAI, 2025)

Vision-based navigation of unmanned aerial vehicles in orchards: An imitation learning approach. - Peng Wei; Prabhash Ragbir; Stavros G. Vougioukas; Zhaodan Kong (Comput. Electron. Agric., 2025)

Implet: A Post-hoc Subsequence Explainer for Time Series Models. - Fanyu Meng; Ziwen Kan; Shahbaz Rezaei; Zhaodan Kong; Xin Chen; Xin Liu (CoRR, 2025)