An Improved Decision Procedure for Linear Time Mu-Calculus.

Yao Liu Zhenhua Duan Cong Tian

Published in: CoRR (2015)

Keyphrases

decision making
proof procedure
decision makers
data mining
development environment
website
worst case
decision rules
iterative procedure
objective function
probabilistic model
decision model