Which Branching-Time Properties are Effectively Linear?

Orna Grumberg Robert P. Kurshan

Published in: J. Log. Comput. (2001)

Keyphrases

temporal logic
high dimensional
desirable properties
real time
data sets
expert systems
evolutionary algorithm
support vector machine
symmetric matrices