Follow
Yi Chou
Yi Chou
Verified email at colorado.edu
Title
Cited by
Cited by
Year
Optimal control of high-order harmonics for the generation of an isolated ultrashort attosecond pulse with two-color midinfrared laser fields
Y Chou, PC Li, TS Ho, SI Chu
Physical Review A 91 (6), 063408, 2015
432015
Optimal control of fast and high-fidelity quantum gates with electron and nuclear spins of a nitrogen-vacancy center in diamond
Y Chou, SY Huang, HS Goan
Physical Review A 91 (5), 052315, 2015
372015
Predictive runtime monitoring for linear stochastic systems and applications to geofence enforcement for UAVs
H Yoon, Y Chou, X Chen, E Frew, S Sankaranarayanan
International Conference on Runtime Verification, 349-367, 2019
252019
Predictive runtime monitoring of vehicle models using bayesian estimation and reachability analysis
Y Chou, H Yoon, S Sankaranarayanan
2020 IEEE/RSJ International Conference on Intelligent Robots and Systems …, 2020
242020
Generation of an isolated few-attosecond pulse in optimized inhomogeneous two-color fields
Y Chou, PC Li, TS Ho, SI Chu
Physical Review A 92 (2), 023423, 2015
152015
Reasoning about Uncertainties in Discrete-Time Dynamical Systems using Polynomial Forms.
S Sankaranarayanan, Y Chou, E Goubault, S Putot
NeurIPS, 2020
112020
Bayesian parameter estimation for nonlinear dynamics using sensitivity analysis
Y Chou, S Sankaranarayanan
International Joint Conference on Artificial Intelligence (IJCAI), 2019
92019
A study of model-order reduction techniques for verification
Y Chou, X Chen, S Sankaranarayanan
International Workshop on Numerical Software Verification, 98-113, 2017
62017
High Assurance Run-Time Monitoring Architecture for Autonomous Control
Y Chou, A Zutshi, M Clark
AIAA Scitech 2021 Forum, 0790, 2021
2021
The system can't perform the operation now. Try again later.
Articles 1–9