I am a postdoctoral associate at Cyber-Physical Systems Lab at Duke University. My research focuses on the analysis and design of high-assurance autonomy using control theory, formal method, statistical methods, and machine learning.
PhD in Mechanical Engineering, 2018
MS in Statistics, 2017
MS in Mathematics, 2016
MS in Mechanical Engineering, 2014
BE in Engineering Mechanics, 2012
Our paper Statistical Model Checking for Hyperproperties is accepted to CSF '21.
Our paper Statistically Model Checking PCTL Specifications on Markov Decision Processes via Reinforcement Learning is accepted to CDC '20.
Our paper Context-aware temporal logic for probabilistic systems is accepted to ATVA '20.
Our paper STMC: Statistical Model Checker with Stratified and Antithetic Sampling is accepted to CAV '20.
Our papers Hyperproperties for Robotics: Motion Planning via HyperLTL and Control Synthesis from Linear Temporal Logic Specifications Using Model-Free Reinforcement Learning are accepted to ICRA '20.
Our paper Security Analysis against Spoofing Attacks for Distributed UAVs is accepted to DISS '20.
STMC: Statistical model checker with stratified and antithetic sampling
ARSC: Design tool for attack-resilient supervisory controllers
HyperSMC: Statistical model checker for hyper probabilistic temporal logics
MPHyper: Symbolic motion planner for HyperLTL objectives
CSRL: Control synthesis for LTL objectives by reinforcement learning
SMCLearning: Statistical model checker for deep-neural-network-enabled cyber-physical systems