Yi Chou

According to our database, Yi Chou authored at least 6 papers between 2017 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

Reasoning about Uncertainties in Discrete-Time Dynamical Systems using Polynomial Forms.

Sriram Sankaranarayanan, Yi Chou, Eric Goubault, Sylvie Putot

Proceedings of the Advances in Neural Information Processing Systems 33: Annual Conference on Neural Information Processing Systems 2020, 2020

Predictive Runtime Monitoring of Vehicle Models Using Bayesian Estimation and Reachability Analysis.

Yi Chou, Hansol Yoon, Sriram Sankaranarayanan

Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2020

2019

Predictive Runtime Monitoring for Linear Stochastic Systems and Applications to Geofence Enforcement for UAVs.

Hansol Yoon, Yi Chou, Xin Chen, Eric W. Frew, Sriram Sankaranarayanan

Proceedings of the Runtime Verification - 19th International Conference, 2019

Bayesian Parameter Estimation for Nonlinear Dynamics Using Sensitivity Analysis.

Yi Chou, Sriram Sankaranarayanan

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

2018

Understanding knowledge management phenomena in virtual communities from a goal-directed approach.

Shih-Wei Chou, Chia-Shiang Hsu, Jiun-Yan Shiau, Ming-Kung Huang, Yi Chou

Internet Res., 2018

2017

A Study of Model-Order Reduction Techniques for Verification.

Yi Chou, Xin Chen, Sriram Sankaranarayanan

Proceedings of the Numerical Software Verification - 10th International Workshop, 2017