Login / Signup
Yue Ben
Publication Activity (10 Years)
Years Active: 2014-2019
Publications (10 Years): 5
Top Topics
Partially Observable
Probabilistic Automata
Relative Entropy
Stochastic Systems
Top Venues
FoSSaCS
HSCC
J. Comput. Syst. Sci.
ICIS
</>
Publications
</>
Yue Ben
,
Rohit Chadha
,
A. Prasad Sistla
,
Mahesh Viswanathan
Decidable and expressive classes of probabilistic automata.
J. Comput. Syst. Sci.
100 (2019)
Yanjun Kong
,
Yadong Mei
,
Weinan Li
,
Yue Ben
,
Xianxun Wang
Optimal Operation of Multireservoir Systems by Enhanced Water Cycle Algorithm.
Int. J. Softw. Innov.
7 (1) (2019)
Yanjun Kong
,
Yadong Mei
,
Weinan Li
,
Xianxun Wang
,
Yue Ben
An enhanced water cycle algorithm for optimization of multi-reservoir systems.
ICIS
(2017)
Yue Ben
,
A. Prasad Sistla
Model Checking Failure-Prone Open Systems Using Probabilistic Automata.
ATVA
(2015)
Rohit Chadha
,
A. Prasad Sistla
,
Mahesh Viswanathan
,
Yue Ben
Decidable and Expressive Classes of Probabilistic Automata.
FoSSaCS
(2015)
A. Prasad Sistla
,
Milos Zefran
,
Yao Feng
,
Yue Ben
Timely monitoring of partially observable stochastic systems.
HSCC
(2014)