Chern, Albert
- Safe Control in the Presence of Stochastic Uncertainties
2021/04/02 by Chern, Albert, Wang, Xiang, Iyer, Abhiram +1 · 4 citations
#Dynamical Systems (math.DS) #FOS: Mathematics #Optimization and Control (math.OC)
- DeepCurrents: Learning Implicit Representations of Shapes with Boundaries
2021/11/17 by Palmer, David, Smirnov, Dmitriy, Wang, Stephanie +2 · 3 citations
#Computer Vision and Pattern Recognition (cs.CV) #FOS: Computer and information sciences #Graphics (cs.GR)
- 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
- Commuting Hamiltonian flows of curves in real space forms
2018/09/05 by Albert Chern, Chern, Albert, Felix Knöppel +5 · 1 citation
Biochemistry, Genetics and Molecular Biology · Physics and Astronomy · #Advanced Differential Geometry Research #Differential Geometry (math.DG) #FOS: Mathematics #Microtubule and mitosis dynamics
- 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