Jing, Haoming

1. Myopically Verifiable Probabilistic Certificate for Long-term Safety
   2021/10/26 by Zhuoyuan Wang, Wang, Zhuoyuan, Haoming Jing +7 · 3 citations
   Computer Science · Decision Sciences · Biochemistry, Genetics and Molecular Biology · #Formal Methods in Verification #Probabilistic and Robust Engineering Design #Gene Regulatory Network Analysis
2. Myopically Verifiable Probabilistic Certificates for Safe Control and Learning
   2024/04/23 by Zhuoyuan Wang, Haoming Jing, Wang, Zhuoyuan +7 · 2 citations
   Computer Science · Engineering · #Bayesian Modeling and Causal Inference #FOS: Computer and information sciences #FOS: Electrical engineering #Fault Detection and Control Systems #Formal Methods in Verification #Machine Learning (cs.LG) #Systems and Control (eess.SY) #electronic engineering #information engineering