Timely monitoring of partially observable stochastic systems. - A. Prasad Sistla; Milos Zefran; Yao Feng; Yue Ben (HSCC, 2014)

Model Checking Failure-Prone Open Systems Using Probabilistic Automata. - Yue Ben; A. Prasad Sistla (ATVA, 2015)

An enhanced water cycle algorithm for optimization of multi-reservoir systems. - Yanjun Kong; Yadong Mei; Weinan Li; Xianxun Wang; Yue Ben (ICIS, 2017)

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)

Decidable and expressive classes of probabilistic automata. - Yue Ben; Rohit Chadha; A. Prasad Sistla; Mahesh Viswanathan 001 (J. Comput. Syst. Sci., 2019)