Ranked Predicate Abstraction for Branching Time: Complete, Incremental, and Precise.

Harald Fecher Michael Huth

Published in: ATVA (2006)

Keyphrases

incremental learning
model checking
temporal logic
data mining
computer vision
evolutionary algorithm
first order logic
real world
bayesian networks
state space
temporal reasoning
data abstraction
incremental clustering
descending order