Anti-chain based algorithms for timed/probabilistic refinement checking.

Ting Wang Tieming Chen Yang Liu Ye Wang

Published in: Sci. China Inf. Sci. (2018)

Keyphrases

learning algorithm
times faster
optimization problems
computationally efficient
orders of magnitude
hidden markov models
benchmark datasets
theoretical analysis
markov chain
uncertain data
recently developed
itemsets
real time
case study
decision trees
machine learning
data sets