Yue Ben

According to our database, Yue Ben authored at least 5 papers between 2014 and 2019.

Collaborative distances:

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

2019

Decidable and expressive classes of probabilistic automata.

Yue Ben, Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan

J. Comput. Syst. Sci., 2019

Optimal Operation of Multireservoir Systems by Enhanced Water Cycle Algorithm.

Yanjun Kong, Yadong Mei, Weinan Li, Yue Ben, Xianxun Wang

Int. J. Softw. Innov., 2019

2017

An enhanced water cycle algorithm for optimization of multi-reservoir systems.

Yanjun Kong, Yadong Mei, Weinan Li, Xianxun Wang, Yue Ben

Proceedings of the 16th IEEE/ACIS International Conference on Computer and Information Science, 2017

2015

Model Checking Failure-Prone Open Systems Using Probabilistic Automata.

Yue Ben, A. Prasad Sistla

Proceedings of the Automated Technology for Verification and Analysis, 2015

2014

Timely monitoring of partially observable stochastic systems.

A. Prasad Sistla, Milos Zefran, Yao Feng, Yue Ben

Proceedings of the 17th International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2014