Emily Zhu

1. Two-Point Concentration of the Domination Number of Random Graphs
   2024/01/19 by Tom Bohman, Lutz Warnke, Bohman, Tom +3 · 1 citation
   Computer Science · Mathematics · #05C69 #05C80 #60C05 #60F10 #Advanced Graph Theory Research #Combinatorics (math.CO) #FOS: Mathematics #Markov Chains and Monte Carlo Methods #Probability (math.PR) #Stochastic processes and statistical mechanics
2. Distributionally Robust Predictive Runtime Verification under Spatio-Temporal Logic Specifications
   2025/04/03 by Yiqi Zhao, Zhao, Yiqi, Emily Zhu +9 · 1 citation
   Computer Science · #Adversarial Robustness in Machine Learning #Constraint Satisfaction and Optimization #FOS: Computer and information sciences #FOS: Electrical engineering #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Robotics (cs.RO) #Systems and Control (eess.SY) #electronic engineering #information engineering